GitHub repository: mhuisi/lean4-cli
Primary language: Lean
Created: 2021-02-22T23:07:25Z
Description: A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.