StableTrès rare
leanprover/lean4
Lean 4 programming language and theorem prover
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 9 804
- Forks
- Forks : 1 080
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2018
- Sujets
- lean4lean
- Rang
- Stable (5 000 à 19 999 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
D’autres dépôts Lean
Tous les dépôts Lean- openai/mathÉtoiles : 17 213LeanStable
- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- openai/NavierStokesAndEulerÉtoiles : 2 120LeanRC
- teorth/analysisÉtoiles : 1 975LeanBêta