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