MathNetworkOpenGALib

Geometric analysis and geometric measure theory in Lean 4, built on Mathlib.
Sort by
  1. Git dependency.
    Not found on Reservoir.

    DifferentialGeometry1b535dd

  2. Git dependency.
    Found on Reservoir.

    mathlibv4.33.1

    The math library of Lean 4