univalent-mathematics topic
List
univalent-mathematics 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
agda-unimath
207
Stars
63
Forks
Watchers
The agda-unimath library
formal-topology-in-UF
35
Stars
2
Forks
Watchers
Formal Topology in Univalent Foundations (WIP).