PrototypeCommon
NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
- Owner
- NethermindEth (organization)
- Stars
- Stars: 101
- Forks
- Forks: 23
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by NethermindEth
All 11 repos by NethermindEth- NethermindEth/nethermindStars: 1,627C#Beta
- NethermindEth/warpStars: 740TypeScriptBeta
- NethermindEth/junoStars: 448GoAlpha
- NethermindEth/sedgeStars: 194GoPrototype
- NethermindEth/starknet.goStars: 177GoPrototype
- NethermindEth/StarknetByExampleStars: 146SolidityPrototype
Nearby in Lean
All Lean repos- AxiomMath/IMO2026Stars: 103LeanPrototype
- dwrensha/animate-lean-proofsStars: 102LeanPrototype
- leanprover/lakeStars: 101LeanPrototype
- JOSHCLUNE/LeanHammerStars: 100LeanPrototype