GitHub repository: DavePearce/LeanEVM
Primary language: Lean
Created: 2023-09-13T21:50:53Z
Description: A toy implementation of the EVM in Lean4.