- Formalization of Ethereum Virtual Machine in Lem https://github.com/pirapira/eth-isabelle 4 comments ethereum
Linking pages
- Bamboo compiler started producing EVM bytecode | by Yoichi Hirai | Medium https://medium.com/@pirapira/bamboo-compiler-started-producing-evm-bytecode-6a55e4633de9 28 comments
- Roundup #5 | Ethereum Foundation Blog https://blog.ethereum.org/2017/08/23/roundup-5/ 27 comments
- What I do for Ethereum when I’m not writing blogs | by Yoichi Hirai | Medium https://medium.com/@pirapira/what-i-do-for-ethereum-when-im-not-writing-blogs-558bda344b8 23 comments
- GitHub - pirapira/evmverif: An EVM code verification framework in Coq https://github.com/pirapira/evmverif 20 comments
- Implementing a vault in Bamboo. I saw vault.sol. It’s about protecting… | by Yoichi Hirai | Medium https://medium.com/@pirapira/implementing-a-vault-in-bamboo-9c08241b6755 14 comments
- Ethereum Virtual Machine for Coq (v0.0.2) | by Yoichi Hirai | Medium https://medium.com/@pirapira/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18#.bzip9vul9 13 comments
- Ethereum Dev Roundup: Q1 (Boring Edition) | Ethereum Foundation Blog https://blog.ethereum.org/2017/04/07/ethereum-dev-roundup-q1-boring-edition/ 11 comments
- GitHub - pirapira/awesome-ethereum-virtual-machine: Ethereum Virtual Machine Awesome List https://github.com/pirapira/awesome-ethereum-virtual-machine 10 comments
- GitHub - evm-lang-design/evm-lang-design: Language Design Community for the EVM: Intro and Resources https://github.com/fp-ethereum/fp-ethereum 9 comments
- GitHub - runtimeverification/evm-semantics: K Semantics of the Ethereum Virtual Machine (EVM) https://github.com/kframework/evm-semantics 8 comments
- Measuring the VM Test’s Coverage with the Lem Model | by Yoichi Hirai | Medium https://medium.com/@pirapira/measuring-the-vm-tests-coverage-with-the-lem-model-2e938e4bb391#.y8drjvesa 6 comments
- @piraipra’s snapshot post (October 2017) | by Yoichi Hirai | Medium https://medium.com/@pirapira/piraipras-snapshot-post-october-2017-1f39be74d7f5 6 comments
- Verification of smart contracts – INNOQ https://www.innoq.com/en/articles/2019/07/verifikation-von-smart-contracts/ 4 comments
- The Dapp Daily — March 3rd, 2017. Updates from the Ethereum ecosystem by… | by Joe Urgo | The Dapp Daily https://dappdaily.com/the-dapp-daily-march-3rd-2017-af785852663b#.u6g8j9wkk 3 comments
- Ten Ethereum-Related Projects You could Take | by Yoichi Hirai | Medium https://medium.com/@pirapira/ten-ethereum-related-pending-projects-you-could-take-c828a2dce88e 3 comments
- GitHub - ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry https://github.com/ligurio/practical-fm 1 comment
- On the Origin of Tezos. Tracking the emergence and evolution of… | by Ed Posnak | On The Origin of Smart Contract Platforms | Medium https://medium.com/on-the-origin-of-smart-contract-platforms/on-the-origin-of-smart-contract-platforms-tezos-5eee6255c791 0 comments
Linked pages
- Welcome to a World of OCaml https://ocaml.org 137 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- opam - opam https://opam.ocaml.org/ 13 comments
- GitHub - runtimeverification/evm-semantics: K Semantics of the Ethereum Virtual Machine (EVM) https://github.com/kframework/evm-semantics 8 comments
- LaTeX - A document preparation system https://www.latex-project.org/ 7 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
- GitHub - bitcoin-core/secp256k1: Optimized C library for EC operations on curve secp256k1 https://github.com/bitcoin-core/secp256k1 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs
See how to search.