TOTBWF/cubical-categories

Category theory formalized in cubical agda

Agda