fredefox / cat

A formalization of category theory in cubical Agda
56Updated 4 years ago

Related projects

Alternatives and complementary repositories for cat