GitHub repository: seed/eth-isabelle
Primary language: Isabelle
Description: A Lem formalization of EVM and some Isabelle/HOL proofs