GitHub repository: HoTT/EPIT-2020
Primary language: TeX
Created: 2021-03-19T11:37:36Z
Description: EPIT 2020 - Spring School on Homotopy Type Theory