Cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
of 70 versions of Cli
1-20Sort by
Date
00b91fa
v4.24.0-rc11.4 MBb62fd39
v4.24.0-rc1v4.24.0-rc11.4 MB41c5d0b
v4.23.0v4.23.084a913c
v4.23.0-rc2+patch1v4.23.0-rc28f35bb8
v4.23.0-rc1+patch1v4.23.0-rc1123e054
v4.22.0+patch1v4.22.09e52c83
v4.22.0-rc4+patch1v4.22.0-rc4d32b831
v4.22.0-rc3+patch1v4.22.0-rc3ce60d86
v4.22.0-rc2+patch1v4.22.0-rc2da558a8
v4.22.0-rc1+patch1v4.22.0-rc1cacb481
v4.23.0-rc2v4.23.0-rc21.3 MB7d0e7a0
v4.22.0v4.22.06667b92
v4.23.0-rc1v4.23.0-rc11.3 MBc682c91
v4.22.0-rc4v4.22.0-rc41.3 MBe22ed08
v4.22.0-rc3v4.22.0-rc31.3 MBa873322
v4.22.0-rc2v4.22.0-rc21.3 MB31714b4
v4.22.0-rc1v4.22.0-rc11.3 MB7c6aef5
v4.21.0v4.21.0a0abd47
v4.21.0-rc3v4.21.0-rc3f73de1d
v4.21.0-rc2v4.21.0-rc2