4 ms·
Do you have any thoughts on tezos [0], which claims to have a formally verifiable language for its blockchain contracts? [0] https://www.tezos.com/ https://www
by imcoconut 9y ago
Do you have any thoughts on tezos [0], which claims to have a formally verifiable language for its blockchain contracts?
[0] https://www.tezos.com/ https://www.tezos.com/