GitHub repository: marcbezem/INF329
Primary language: TeX
Description: Lecture notes for a seminar on Homotopy Type Theory