pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
237Updated 2 years ago

Related projects

Alternatives and complementary repositories for eth-isabelle