lean4-cli
lean4-cli copied to clipboard
leanprover
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Results
1
lean4-cli issues
Sort by
recently updated
recently updated
newest added
When I have time to work on this again (in ~2 months), I'd like to adjust the API so that no extra conversion step is necessary at the end and...
enhancement
Metadata
56
Stars
9
Forks
Watchers
Owner
Metadata
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.