PrototypeCommune
AlexKontorovich/2025EuclideanGeometryCourse
Formal Euclidean Geometry Course, Rutgers Math Corps
- Propriétaire
- AlexKontorovich (compte personnel)
- Étoiles
- Étoiles : 104
- Forks
- Forks : 8
- Langage
- Sans langage
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de AlexKontorovich
Les 2 dépôts de AlexKontorovich- AlexKontorovich/PrimeNumberTheoremAndÉtoiles : 351LeanAlpha