AlphaUncommon
math-inc/strongpnt
No description.
- Owner
- math-inc (organization)
- Stars
- Stars: 327
- Forks
- Forks: 22
- Language
- Lean
- License
- None
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by math-inc
All 2 repos by math-inc- math-inc/OpenGaussStars: 1,276PythonBeta
Nearby in Lean
All Lean repos- Verified-zkEVM/ArkLibStars: 348LeanAlpha
- Kha/electrolysisStars: 340LeanAlpha
- facebookresearch/atlas-leanStars: 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha
- NyxFoundation/nyxisStars: 318LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha