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