The Code is Ready. An update from CTO Andy Milenius | by MakerDAO | Medium - discu.eu

Reddit

Multi-Collateral Dai: The Code is Ready and Formally Verified https://medium.com/makerdao/the-code-is-ready-2aee2aa62e73 31 comments 17/9/2018 ethereum

Linked pages

GitHub - runtimeverification/evm-semantics: K Semantics of the Ethereum Virtual Machine (EVM) https://github.com/kframework/evm-semantics 8 comments

Related searches:

Search whole site: site:medium.com

Search title: The Code is Ready. An update from CTO Andy Milenius | by MakerDAO | Medium

See how to search.

Submit link to: