peabrainiacOrbifolds

An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
Displaying 1-1 of 1 versions of Orbifolds
Sort by
  1. Not a part of any version track.
    dd32faf
    5 days ago
    Released on September 2, 2025 at 3:46:09AM
    Commit dd32faf builds on its recent leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2
    7.5 MB Build archive size: 7478035 bytes.