GitHub repository: lsciarappa/HoTT-Agda
Primary language: Agda
Description: Development of homotopy type theory in Agda