/cat

A formalization of category theory in cubical Agda

Primary LanguageAgda

Stargazers