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