Other
Executable formal model of the EVM and Yul in Lean 4.
Live from the default branch.
Builders behind this project.
