GitHub repository: runtimeverification/evm-equivalence
Primary language: Lean
Description: Equivalence proofs of EVM models