/weak-cat-type

A typing system for weak infiny groupoids

Primary LanguageCoq

No issues in this repository yet.