GitHub repository: EgbertRijke/HoTT-Intro
Primary language: Agda
Created: 2018-09-23T21:17:44Z
Description: An introductory course to Homotopy Type Theory