univalent-foundations topic
List
univalent-foundations repositories
HoTT-UF-Agda-Lecture-Notes
213
Stars
18
Forks
Watchers
Lecture notes on univalent foundations of mathematics with Agda
TypeTopology
212
Stars
39
Forks
Watchers
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Agda
119
Stars
5
Forks
Watchers
Agda formalisation of the Introduction to Homotopy Type Theory
Coq-HoTT
1.2k
Stars
181
Forks
Watchers
A Coq library for Homotopy Type Theory
cubicaltt
562
Stars
77
Forks
Watchers
Experimental implementation of Cubical Type Theory
agda-unimath
219
Stars
70
Forks
Watchers
The agda-unimath library
formal-topology-in-UF
35
Stars
2
Forks
Watchers
Formal Topology in Univalent Foundations (WIP).
reed-thesis
15
Stars
0
Forks
Watchers
My undergradate thesis on coinductive types in univalent type theory