GitHub repository: rrose1/basic-hott
Primary language: Agda
Created: 2017-02-10T18:34:26Z
Description: personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)