PrototypeCommune
leanEthereum/leanVM
Minimal zkVM for Ethereum.
- Propriétaire
- leanEthereum (organisation)
- Étoiles
- Étoiles : 176
- Forks
- Forks : 81
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanEthereum
Les 2 dépôts de leanEthereum- leanEthereum/leanSpecÉtoiles : 144PythonPrototype
D’autres dépôts Lean
Tous les dépôts Lean- cajal-technologies/talosÉtoiles : 191LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanprover/doc-gen4Étoiles : 176LeanPrototype
- lean-forward/logical_verification_2025Étoiles : 172LeanPrototype
- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype
- openai/PrimeGaps186Étoiles : 169LeanPrototype