AlphaPeu commune
leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 286
- Forks
- Forks : 144
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- lean4lean
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean4Étoiles : 9 820LeanStable
- leanprover/lean3Étoiles : 2 152C++RC
- leanprover/cslibÉtoiles : 789LeanBêta
- leanprover/elanÉtoiles : 672RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
D’autres dépôts Lean
Tous les dépôts Lean- FormalizedFormalLogic/FoundationÉtoiles : 296LeanAlpha
- konne88/functorioÉtoiles : 295LeanAlpha
- strata-org/StrataÉtoiles : 287LeanAlpha
- opencompl/lean-mlirÉtoiles : 273LeanAlpha
- trishullab/PutnamBenchÉtoiles : 270LeanAlpha
- digama0/lean4leanÉtoiles : 269LeanAlpha