Geeks
DavePearce
/
LeanEVM
A toy implementation of the EVM in Lean4.
Primary Language
Lean
Apache License 2.0
Apache-2.0
LeanEVM GitHub
Markdown
Readme
18
Issues
10
Stargazers
2
Watchers
Watchers
DavePearce
New Zealand
eemailme