/omega_categories

Formalisation of strict omega categories and the homotopy hypothesis in type theory, using coinduction

Primary LanguageCoq

Stargazers

No one’s star this repository yet.