4 ms·
MakerDAO is formally verified. https://medium.com/@MakerDAO/the-code-is-ready-2aee2aa62e73 https://medium.com/@MakerDAO/the-code-is-ready-2aee2aa62e73
by impreciouschild 5y ago
MakerDAO is formally verified.
https://medium.com/@MakerDAO/the-code-is-ready-2aee2aa62e73 https://medium.com/@MakerDAO/the-code-is-ready-2aee2aa62e73