A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments. - View it on GitHub