Sort by
  1. Git dependency.
    Found on Reservoir.

    Cliv2.2.0-lv4.9.0

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  2. Git dependency.
    Found on Reservoir.

    batteriesfc871f7

    The "batteries included" extended library for the Lean programming language and theorem prover