PrototypeCommon
Verified-zkEVM/clean
Lean circuit DSL
- Owner
- Verified-zkEVM (organization)
- Stars
- Stars: 208
- Forks
- Forks: 35
- Language
- Lean
- License
- MIT
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by Verified-zkEVM
All 3 repos by Verified-zkEVM- Verified-zkEVM/ArkLibStars: 351LeanAlpha
- Verified-zkEVM/VCVioStars: 170LeanPrototype
Nearby in Lean
All Lean repos- cedar-policy/cedar-specStars: 220LeanPrototype
- cmu-l3/llmleanStars: 218LeanPrototype
- openai/ten-proofsStars: 217LeanPrototype
- leanprover/fp-leanStars: 204LeanPrototype
- openai/lean-gymStars: 201LeanPrototype
- lean-dojo/TorchLeanStars: 197LeanPrototype