A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.