greg/climax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
40 Commits 5 Branches 0 Tags
master
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Gregory ShuflinandClaude Fable 5.1 d252b0ed7e Add Apache License 2.0 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-05 15:41:47 -07:00
Climax
Some default-related changes
2026-06-13 13:33:40 -07:00
Test
…
.gitignore
…
Climax.lean
…
justfile
…
lake-manifest.json
…
lakefile.toml
…
lean-toolchain
…
LICENSE.md
Add Apache License 2.0
2026-10-05 15:41:47 -07:00
Main.lean
Some default-related changes
2026-06-13 13:33:40 -07:00
README.md
…

README.md

CLImax - a CLI argument parsing library for Lean

climax is a command line argument parsing library for Lean 4. Compare to Python click or Rust clap.

Example

Quickstart

Main.Lean contains a commented demo program illustrating the use of Climax.

Reference in New Issue View Git Blame Copy Permalink
S
Description
Lean 4 cli argument parsing
Readme
166 KiB
Languages
Lean 99.1%
Just 0.9%