All Categories → No Category → compact-type

Top 1 compact-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 compact-type projects