PrototypeCommune
leanprover/SampCert
SampCert : Verified Differential Privacy
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 106
- Forks
- Forks : 23
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean4Étoiles : 9 820LeanStable
- leanprover/lean3Étoiles : 2 152C++RC
- leanprover/cslibÉtoiles : 789LeanBêta
- leanprover/elanÉtoiles : 672RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
D’autres dépôts Lean
Tous les dépôts Lean- schildep/verified-3d-mesh-intersectionÉtoiles : 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanÉtoiles : 108LeanPrototype
- NethermindEth/LeanCILÉtoiles : 108LeanPrototype
- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype