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