3 ms·
Yep, yep, and if contracts were written in Coq or a similar language, it would be easier to formally prove that they are "safe" from smarty pants hackers.. Tha
by a-nikolaev 10y ago
Yep, yep, and if contracts were written in Coq or a similar language, it would be easier to formally prove that they are "safe" from smarty pants hackers..
That would be a really nice application for formal methods, it seems.