AlphaPeu commune
leanprover/verso
Lean documentation authoring tool
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 405
- Forks
- Forks : 130
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- 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 804LeanStable
- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
D’autres dépôts Lean
Tous les dépôts Lean- PatrickMassot/GlimpseOfLeanÉtoiles : 427LeanAlpha
- digama0/mm0Étoiles : 422LeanAlpha
- leanprover-community/aesopÉtoiles : 413LeanAlpha
- dselsam/certigradÉtoiles : 404LeanAlpha
- leanprover-community/NNG4Étoiles : 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndÉtoiles : 351LeanAlpha