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.