All Categories → No Category → univalent-foundations

Top 4 univalent-foundations 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

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

My undergradate thesis on coinductive types in univalent type theory

✭ 14

TeX haskell Coq Nix thesis mathematics type-theory category-theory univalence unimath univalent-foundations

1-4 of 4 univalent-foundations projects