AlphaPeu commune
FormalizedFormalLogic/Foundation
Formalization of Mathematical Logic
- Propriétaire
- FormalizedFormalLogic (organisation)
- Étoiles
- Étoiles : 296
- Forks
- Forks : 32
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Sujets
- lean4logic
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/lean4-metaprogramming-bookÉtoiles : 316LeanAlpha
- ufmg-smite/lean-smtÉtoiles : 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- konne88/functorioÉtoiles : 295LeanAlpha
- strata-org/StrataÉtoiles : 287LeanAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 286LeanAlpha