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.

    batteriesa7fd140

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