AlphaUncommon
AlexKontorovich/PrimeNumberTheoremAnd
Blueprint for the PNT+ Project
- Owner
- AlexKontorovich (personal account)
- Stars
- Stars: 351
- Forks
- Forks: 120
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by AlexKontorovich
All 2 repos by AlexKontorovich- AlexKontorovich/2025EuclideanGeometryCourseStars: 104Prototype
Nearby in Lean
All Lean repos- leanprover/versoStars: 405LeanAlpha
- dselsam/certigradStars: 404LeanAlpha
- leanprover-community/NNG4Stars: 387LeanAlpha
- verse-lab/veilStars: 350LeanAlpha
- Verified-zkEVM/ArkLibStars: 348LeanAlpha
- Kha/electrolysisStars: 340LeanAlpha