PrototypeCommon
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
- Owner
- leanprover (organization)
- Stars
- Stars: 125
- Forks
- Forks: 30
- Language
- Lean
- License
- MIT
- Created
- 2021
- Topics
- leanlean4cli
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,804LeanStable
- leanprover/lean3Stars: 2,153C++RC
- leanprover/cslibStars: 786LeanBeta
- leanprover/elanStars: 671RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
Nearby in Lean
All Lean repos- sdiehl/zero-to-qedStars: 128LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype
- siddhartha-gadgil/LeanAideStars: 125LeanPrototype
- blanchette/logical_verification_2023Stars: 122LeanPrototype
- emilyriehl/infinity-cosmosStars: 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Stars: 121LeanPrototype