GitHub repository: peabrainiac/lean-orbifolds
Primary language: Lean
Created: 2024-05-07T01:11:02Z
Description: An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.