2 ms·
Formal verification is critical. Projects like this are necessary: https://github.com/pirapira/eth-isabelle https://github.com/pirapira/eth-isabelle Paper: htt
by qznc 9y ago
Formal verification is critical. Projects like this are necessary: https://github.com/pirapira/eth-isabelle https://github.com/pirapira/eth-isabelle
Paper: https://yoichihirai.com/malta-paper.pdf https://yoichihirai.com/malta-paper.pdf