NethermindEth / EVMYulLeanLinks

Executable formal model of the EVM and Yul in Lean 4.
β˜†59Updated this week

Alternatives and similar repositories for EVMYulLean

Users that are interested in EVMYulLean are comparing it to the libraries listed below

Sorting: