PrototypeCommune
Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
- Propriétaire
- Verified-zkEVM (organisation)
- Étoiles
- Étoiles : 170
- Forks
- Forks : 59
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- cryptographyformal-verificationlean4post-quantum-cryptographyprogram-logicproof-assistantgame-hopping
- 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/cleanÉtoiles : 207LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- lean-forward/logical_verification_2025Étoiles : 173LeanPrototype
- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype
- josevalim/lynxÉtoiles : 170LeanPrototype
- openai/PrimeGaps186Étoiles : 169LeanPrototype
- verse-lab/loomÉtoiles : 167LeanPrototype