AlphaPeu commune
strata-org/Strata
Pas de description.
- Propriétaire
- strata-org (organisation)
- Étoiles
- Étoiles : 287
- Forks
- Forks : 62
- 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- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- FormalizedFormalLogic/FoundationÉtoiles : 296LeanAlpha
- konne88/functorioÉtoiles : 295LeanAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
- opencompl/lean-mlirÉtoiles : 273LeanAlpha
- trishullab/PutnamBenchÉtoiles : 270LeanAlpha