DavePearce / LeanEVM

A toy implementation of the EVM in Lean4.
10Updated 5 months ago

Related projects

Alternatives and complementary repositories for LeanEVM