AlphaPeu commune
AlexKontorovich/PrimeNumberTheoremAnd
Blueprint for the PNT+ Project
- Propriétaire
- AlexKontorovich (compte personnel)
- Étoiles
- Étoiles : 351
- Forks
- Forks : 120
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de AlexKontorovich
Les 2 dépôts de AlexKontorovich- AlexKontorovich/2025EuclideanGeometryCourseÉtoiles : 104Prototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/versoÉtoiles : 405LeanAlpha
- dselsam/certigradÉtoiles : 404LeanAlpha
- leanprover-community/NNG4Étoiles : 387LeanAlpha
- verse-lab/veilÉtoiles : 350LeanAlpha
- Verified-zkEVM/ArkLibÉtoiles : 348LeanAlpha
- Kha/electrolysisÉtoiles : 340LeanAlpha