AlphaPeu commune
tristanbuckmaster/fluid_lean
Pas de description.
- Propriétaire
- tristanbuckmaster (compte personnel)
- Étoiles
- Étoiles : 267
- Forks
- Forks : 19
- Langage
- Lean
- Licence
- Aucune
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- opencompl/lean-mlirÉtoiles : 273LeanAlpha
- trishullab/PutnamBenchÉtoiles : 270LeanAlpha
- digama0/lean4leanÉtoiles : 269LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha
- TauCetiProject/TauCetiÉtoiles : 260LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha