Pinned
Repositories
Showing 8 of 8 repositories
-
- HoTT-categories Public
A category theory library built on top of Homotopy Type Theory, by Jason Gross