AlphaPeu commune
leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 625
- Forks
- Forks : 442
- Langage
- HTML
- Licence
- Apache-2.0
- Création
- 2020
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 414LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 818LeanBêta
- leanprover-community/lean4gameÉtoiles : 576TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
D’autres dépôts HTML
Tous les dépôts HTML- thewickedkarma/blackeye-imÉtoiles : 626HTMLAlpha
- nerdyslacker/desktop-web-browsersÉtoiles : 626HTMLAlpha
- csinva/csinva.github.ioÉtoiles : 625HTMLAlpha
- jadijadi/justforfunÉtoiles : 624HTMLAlpha
- hackingmaterials/matminerÉtoiles : 624HTMLAlpha
- microlinkhq/sdkÉtoiles : 624HTMLAlpha