/agda-unimath

Univalent mathematics in Agda

Primary LanguageAgdaMIT LicenseMIT

Stargazers

No one’s star this repository yet.