4 ms·
The 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
by rdl 8y ago
The 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.