leanprover / lean4-cliLinks

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
75Updated last month

Alternatives and similar repositories for lean4-cli

Users that are interested in lean4-cli are comparing it to the libraries listed below

Sorting: