Cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
of 22 versions of Cli
1-20Sort by
Date
0c8ea32
0c8ea32
2cf1030
a115660
2245a1d
v2.2.0-lv4.0.0v4.0.021dac2e
v2.2.0-lnightly-2023-08-23nightly-2023-08-235a858c3
v2.1.0-lnightly-2022-11-20nightly-2022-11-20cf98018
v2.1.0-lnightly-2022-10-31nightly-2022-10-31b88b0ab
v2.0.0-lnightly-2022-10-20nightly-2022-10-2080b783a
v2.0.0-lnightly-2022-09-28nightly-2022-09-281f844d9
v2.0.0-lnightly-2022-09-01nightly-2022-09-018fa311b
v2.0.0-lnightly-2022-08-30nightly-2022-08-30634cd9b
v2.0.0-lv4.0.0-m5v4.0.0-m54196bfa
v2.0.0-lnightly-2022-07-10nightly-2022-07-10e0b209c
v1.0.1-lv4.0.0-m4v4.0.0-m4112b35f
v1.2.0-lnightly-2022-07-10nightly-2022-07-10e70141d
v1.1.0-lnightly-2022-07-10nightly-2022-07-106036009
v1.1.0-lnightly-2022-07-03nightly-2022-07-0337f287d
v1.0.0-lnightly-2022-07-03nightly-2022-07-03f7590ce
v1.0.0-lnightly-2022-06-29nightly-2022-06-29