univalence topic
List
univalence repositories
HoTT-Intro
355
Stars
28
Forks
Watchers
An introductory course to Homotopy Type Theory
HoTT-Agda
408
Stars
59
Forks
Watchers
Development of homotopy type theory in Agda
Agda
119
Stars
5
Forks
Watchers
Agda formalisation of the Introduction to Homotopy Type Theory
univalence-from-scratch
19
Stars
0
Forks
Watchers
Univalence from scratch in Idris
reed-thesis
15
Stars
0
Forks
Watchers
My undergradate thesis on coinductive types in univalent type theory