Formalizing Category Theory in Agda using Cubical Type Theory
Primary LanguageAgda
No issues in this repository yet.