PrototypeCommune
leanprover/doc-gen4
Document Generator for Lean 4
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 177
- Forks
- Forks : 78
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) 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 : 786LeanBê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- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- cajal-technologies/talosÉtoiles : 191LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanEthereum/leanVMÉtoiles : 176LeanPrototype
- lean-forward/logical_verification_2025Étoiles : 172LeanPrototype
- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype