#

totally-separated-type

Here is 1 public repository matching this topic...

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

type-theory agda ordinal homotopy-type-theory univalent-foundations constructive-mathematics compact-type totally-separated-type injective-type searchable-set univalent-mathematics

Updated Dec 3, 2024
Agda

Improve this page

Add a description, image, and links to the totally-separated-type topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the totally-separated-type topic, visit your repo's landing page and select "manage topics."