No results found

Orbifolds

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.
    d599ff5
    2 months ago
    Released on May 5, 2025 at 11:59:46PM
    Commit d599ff5 builds on its old leanprover/lean4:v4.19.0-rc3
    v4.19.0-rc3
    7.7 MB Build archive size: 7674222 bytes.