/Cohesion

A personal library, formalizing cohesive homotopy type theory in Agda.

Primary LanguageAgda

Watchers