/eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Primary LanguageIsabelleOtherNOASSERTION

Stargazers