PrototypeCommon
leanEthereum/leanVM
Minimal zkVM for Ethereum.
- Owner
- leanEthereum (organization)
- Stars
- Stars: 176
- Forks
- Forks: 81
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanEthereum
All 2 repos by leanEthereum- leanEthereum/leanSpecStars: 144PythonPrototype
Nearby in Lean
All Lean repos- cajal-technologies/talosStars: 191LeanPrototype
- leanprover-community/tutorialsStars: 183LeanPrototype
- leanprover/doc-gen4Stars: 176LeanPrototype
- lean-forward/logical_verification_2025Stars: 172LeanPrototype
- formalabstracts/formalabstractsStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype