All Categories → No Category → totally-separated-type

Top 1 totally-separated-type open source projects

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

✭ 132

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

1-1 of 1 totally-separated-type projects