AlphaPeu commune
leanprover-community/lean-liquid
💧 Liquid Tensor Experiment
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 255
- Forks
- Forks : 21
- Langage
- Lean
- Licence
- Aucune
- 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/mathematics_in_leanÉtoiles : 625HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 576TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
D’autres dépôts Lean
Tous les dépôts Lean- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha
- TauCetiProject/TauCetiÉtoiles : 260LeanAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha
- mit-pdos/perennialÉtoiles : 253LeanAlpha
- leanprover/comparatorÉtoiles : 247LeanPrototype
- teorth/pfrÉtoiles : 246LeanPrototype