Projects in Awesome Lists tagged with pointless-topology
A curated list of projects in awesome lists tagged with pointless-topology .
https://github.com/ayberkt/formal-topology-in-uf
Formal Topology in Univalent Foundations (WIP).
constructive-topology formal-topologies homotopy-type-theory locale-theory pointless-topology topology univalent-foundations univalent-mathematics
Last synced: 11 Apr 2025
