Ethereum Virtual Machine for Coq (v0.0.2) | by Yoichi Hirai | Medium - discu.eu

Reddit

Ethereum Virtual Machine for Coq (v0.0.2) https://medium.com/@pirapira/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18#.bzip9vul9 13 comments 5/3/2017 ethereum

Linking pages

Ethereum Dev Roundup: Q1 (Boring Edition) | Ethereum Foundation Blog https://blog.ethereum.org/2017/04/07/ethereum-dev-roundup-q1-boring-edition/ 11 comments

Linked pages

Install Coq | The Coq Proof Assistant https://coq.inria.fr/download 22 comments
GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
Isabelle https://isabelle.in.tum.de/ 0 comments

Related searches:

Search whole site: site:medium.com

Search title: Ethereum Virtual Machine for Coq (v0.0.2) | by Yoichi Hirai | Medium

See how to search.

Submit link to: