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)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
mathlib
3e8a665
The math library of Lean 4
1
20