← All repos

pirapira/eth-isabelle

View on GitHub ↗ ★ 245 Isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2017-07-24 · latest 2017-11-09