GitHub repository: HoTT-Intro/Agda
Primary language: Agda
Created: 2020-07-28T11:38:18Z
Description: Agda formalisation of the Introduction to Homotopy Type Theory