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.
    bc288b7
    6 days ago
    Released on September 22, 2025 at 4:22:43PM
    Commit bc288b7 builds on its recent leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2
    8.0 MB Build archive size: 8008833 bytes.