martinescardo/HoTTEST-Summer-School

HoTTEST Summer School materials

TeX

339

338 commits

updated Jun 3, 2025

See the code

README

HoTTEST Summer School 2022

School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more.
Agda lecture notes and exercises
HoTT lecture notes and exercises

Additional resources

Contributors

88 commits

50 commits

47 commits

22 commits

Similar repos

martinescardo/HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

237

same org

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

HoTT/EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

111

RobertHarper/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

thehottgame/TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested…

141

TypeFunc/bootcamp

resources for spring break bootcamp

EgbertRijke/HoTT-Intro

An introductory course to Homotopy Type Theory

373

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

Languages

TeX

58.7%

Agda

26.8%

HTML

5.9%

OCaml

5.7%

Haskell

2.3%