totally-separated-type

There are 0 repository under totally-separated-type topic.

martinescardo / TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
univalent-foundations agda homotopy-type-theory type-theory constructive-mathematics compact-type totally-separated-type injective-type ordinal searchable-set univalent-mathematics
Language:Agda 212