leanprover / lean4-cliLinks

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
77Updated 2 weeks ago

Alternatives and similar repositories for lean4-cli

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

Sorting: