Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteries5e6a775

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

    mathlib8744850

    The math library of Lean 4