All Categories → No Category → formal-topologies

Top 1 formal-topologies 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 formal-topologies projects