The Tezos blockchain has introduced a brand new programming language to the world called 'Michelson' — an incredible functional programming language designed for Tezos smart-contract development. Its forward thinking innovations bring Tezos smart-contracts an unmatched level of precision and efficiency, as well as a potent vehicle for formal verification.