Hide content and notifications from this user.
Contact Support about this user's behavior.
Yet another HoTT library
Forked from copumpkin/categories
Categories parametrized by morphism equality, in Agda
Verified instances for parallel programming.
Structures as in model theory/universal algebra
Seeing something unexpected? Take a look at the
GitHub profile guide.