GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ locale-theory
Top 1 locale-theory open source projects
formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
✭ 27
CSS
shell
Makefile
topology
homotopy-type-theory
univalent-foundations
univalent-mathematics
formal-topologies
locale-theory
pointless-topology
constructive-topology
1-1
of
1
locale-theory projects