Topic: "constructive-topology"
ayberkt/formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
Language: CSS - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 36 - Forks: 2
Formal Topology in Univalent Foundations (WIP).
Language: CSS - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 36 - Forks: 2