PrototypeCommune
Verified-zkEVM/clean
Lean circuit DSL
- Propriétaire
- Verified-zkEVM (organisation)
- Étoiles
- Étoiles : 207
- Forks
- Forks : 34
- Langage
- Lean
- Licence
- MIT
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de Verified-zkEVM
Les 3 dépôts de Verified-zkEVM- Verified-zkEVM/ArkLibÉtoiles : 348LeanAlpha
- Verified-zkEVM/VCVioÉtoiles : 170LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- cedar-policy/cedar-specÉtoiles : 220LeanPrototype
- cmu-l3/llmleanÉtoiles : 217LeanPrototype
- openai/ten-proofsÉtoiles : 217LeanPrototype
- leanprover/fp-leanÉtoiles : 204LeanPrototype
- openai/lean-gymÉtoiles : 201LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype