/canonical-normal-form-regular-categories

A canonical normal form theorem for the type theory of regular categories

Primary LanguageCoq

Stargazers

No one’s star this repository yet.