La cadena de bloques Tezos ha introducido un nuevo lenguaje de programación al mundo llamado 'Michelson', un increíble lenguaje de programación funcional diseñado para el desarrollo de contratos inteligentes de Tezos. Sus innovaciones de visión de futuro traen a los contratos inteligentes de Tezos un nivel inigualable de precisión y eficiencia, así como un potente vehículo para la verificación formal.
