4 ms·
Also intresting to see that do these Defi platforms start bring formal proofs and other pretty academic stuff to actual every day development.
by antupis 5y ago
Also intresting to see that do these Defi platforms start bring formal proofs and other pretty academic stuff to actual every day development.
- idiotsecant 5y agoIt really is a whole new class of software I think - trustless software that is also "open source" and holds billions of dollars of value is the sort of thing where formal proofiness starts to look reasonable.