Virtual map
Building the MinePlex decentralized system on Tezos' multi-stage blockchain architecture in the OCaml programming language, which provides speed and clear syntax and semantics. The language ecosystem, in turn, makes Tezos and its smart contracts a great candidate for formal proof of correctness .