univalence-axiom topic
List
univalence-axiom repositories
HoTT-UF-Agda-Lecture-Notes
213
Stars
18
Forks
Watchers
Lecture notes on univalent foundations of mathematics with Agda
Agda
119
Stars
5
Forks
Watchers
Agda formalisation of the Introduction to Homotopy Type Theory