Reservoir
No results found
All Packages
Orbifolds
An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
Readme
Versions (1)
Dependencies (9)
Displaying
1-1
of
1
versions of
Orbifolds
Sort by
Date
Not a part of any version track.
d599ff5
a month 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: 7677330 bytes.
1
20