Cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
of 57 versions of Cli
1-20Sort by
Date
e22ed08
v4.22.0-rc3v4.22.0-rc31.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-rc21606fed
v4.21.0-rc1v4.21.0-rc1f9e25dc
v4.20.0v4.20.04f22c09
v4.20.0-rc2v4.20.0-rc21.5 MB109481e
v4.20.0-rc1v4.20.0-rc11.5 MB02dbd02
v4.19.0v4.19.0aff4176
v4.19.0-rc2v4.19.0-rc21.5 MB427778e
v4.19.0-rc1v4.19.0-rc17cde559
v4.18.0v4.18.0dd423cf
v4.18.0-rc1v4.18.0-rc11.5 MBe7fd1a4
v4.17.0v4.17.0a2eb24a
v4.17.0-rc1v4.17.0-rc11.5 MBefa5aa2
v4.16.0v4.16.0d835296
v4.16.0-rc2v4.16.0-rc21.5 MB