Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteries9e583ef

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Git dependency.
    Found on Reservoir.

    mdgenv1.3.0

    Tool to generate markdown files from lean files.