GitHub repository: lemastero/agda-hott
Primary language: Agda
Created: 2023-05-14T21:55:00Z
Description: Notes on Homotopy Type Theory in Agda