GitHub repository: ssomayyajula/HoTT
Primary language: Agda
Created: 2017-03-09T23:45:10Z
Description: Project on homotopy type theory @ Indiana University