Univalent mathematics in Agda
Primary LanguageMakefileMIT LicenseMIT
No one’s star this repository yet.