PrototypeCommune
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 125
- Forks
- Forks : 30
- Langage
- Lean
- Licence
- MIT
- Création
- 2021
- Sujets
- leanlean4cli
- 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 804LeanStable
- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
D’autres dépôts Lean
Tous les dépôts Lean- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype
- zhangir-azerbayev/ProofNetÉtoiles : 127LeanPrototype
- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype
- blanchette/logical_verification_2023Étoiles : 122LeanPrototype
- emilyriehl/infinity-cosmosÉtoiles : 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Étoiles : 121LeanPrototype