pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

pirapira/eth-isabelle Stargazers