PrototypeCommon
AlexKontorovich/2025EuclideanGeometryCourse
Formal Euclidean Geometry Course, Rutgers Math Corps
- Owner
- AlexKontorovich (personal account)
- Stars
- Stars: 104
- Forks
- Forks: 8
- Language
- No language
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by AlexKontorovich
All 2 repos by AlexKontorovich- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha