- School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more.
- Agda lecture notes and exercises
- HoTT lecture notes and exercises
- HOTTEST Summer School 2022 YouTube
- agda-unimath
- 1Lab
- Introduction to HoTT/UF with Agda
- Cubical Library
- GitPod
test