peabrainiacOrbifolds

An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlib3e8a665

    The math library of Lean 4