GitHub repository: person-with-a-username/1lab
Primary language: Agda
Description: A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory