AlphaPeu commune
leanprover-community/lean4-metaprogramming-book
Pas de description.
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 316
- Forks
- Forks : 80
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2022
- Sujets
- lean4
- 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 405LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 624HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 575TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
D’autres dépôts Lean
Tous les dépôts Lean- facebookresearch/atlas-leanÉtoiles : 325LeanAlpha
- google-deepmind/alphaproof-nexus-resultsÉtoiles : 322LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- ufmg-smite/lean-smtÉtoiles : 315LeanAlpha
- NyxFoundation/nyxisÉtoiles : 314LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha