eapiova/canonical-normal-form-regular-categories
A canonical normal form theorem for the type theory of regular categories
Coq
Stargazers
No one’s star this repository yet.
A canonical normal form theorem for the type theory of regular categories
Coq
No one’s star this repository yet.