3 ms·
Considering the close ties of OCaml and Coq, has anyone done some sort of formal verification for Tezos ?
by fuklief 8y ago
Considering the close ties of OCaml and Coq, has anyone done some sort of formal verification for Tezos ?
- rdl 8y agoThe main focus has been on the formal verifiability of smart contracts written in Michelson -- https://www.michelson-lang.com/ https://www.michelson-lang.com/ I'm checking on Tezos itself.