AlphaPeu commune
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
- Propriétaire
- Verified-zkEVM (organisation)
- Étoiles
- Étoiles : 348
- Forks
- Forks : 123
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- formal-verificationleanlean4snarkzero-knowledgezk
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de Verified-zkEVM
Les 3 dépôts de Verified-zkEVM- Verified-zkEVM/cleanÉtoiles : 207LeanPrototype
- Verified-zkEVM/VCVioÉtoiles : 168LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/NNG4Étoiles : 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndÉtoiles : 351LeanAlpha
- verse-lab/veilÉtoiles : 350LeanAlpha
- Kha/electrolysisÉtoiles : 340LeanAlpha
- math-inc/strongpntÉtoiles : 327LeanAlpha
- facebookresearch/atlas-leanÉtoiles : 327LeanAlpha