AlphaPeu commune
math-inc/strongpnt
Pas de description.
- Propriétaire
- math-inc (organisation)
- Étoiles
- Étoiles : 327
- Forks
- Forks : 22
- Langage
- Lean
- Licence
- Aucune
- Création
- 2025
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de math-inc
Les 2 dépôts de math-inc- math-inc/OpenGaussÉtoiles : 1 276PythonBêta
D’autres dépôts Lean
Tous les dépôts Lean- Verified-zkEVM/ArkLibÉtoiles : 348LeanAlpha
- Kha/electrolysisÉtoiles : 340LeanAlpha
- facebookresearch/atlas-leanÉtoiles : 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsÉtoiles : 322LeanAlpha
- NyxFoundation/nyxisÉtoiles : 318LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha