NethermindEth / EVMYulLean

Executable formal model of the EVM and Yul in Lean 4.
36Updated this week

Related projects

Alternatives and complementary repositories for EVMYulLean