Cli.lean

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

Stars

2

Forks

1

Language

Lean

Last Updated

Dec 26, 2023

Similar Repos