AlphaPeu commune
konne88/functorio
Pas de description.
- Propriétaire
- konne88 (compte personnel)
- Étoiles
- Étoiles : 295
- Forks
- Forks : 3
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- ufmg-smite/lean-smtÉtoiles : 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- FormalizedFormalLogic/FoundationÉtoiles : 296LeanAlpha
- strata-org/StrataÉtoiles : 287LeanAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 286LeanAlpha
- opencompl/lean-mlirÉtoiles : 273LeanAlpha