GitHub repository: EgbertRijke/agda-unimath
Primary language: Agda
Description: Univalent mathematics in Agda