AlphaUncommon
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
- Owner
- Verified-zkEVM (organization)
- Stars
- Stars: 348
- Forks
- Forks: 124
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Topics
- formal-verificationleanlean4snarkzero-knowledgezk
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Verified-zkEVM
All 3 repos by Verified-zkEVM- Verified-zkEVM/cleanStars: 207LeanPrototype
- Verified-zkEVM/VCVioStars: 170LeanPrototype
Nearby in Lean
All Lean repos- leanprover-community/NNG4Stars: 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha
- verse-lab/veilStars: 350LeanAlpha
- Kha/electrolysisStars: 340LeanAlpha
- facebookresearch/atlas-leanStars: 328LeanAlpha
- math-inc/strongpntStars: 327LeanAlpha