Formalization of results from the literature

Content created by Vojtěch Štěpančík.

Created on 2024-06-06.
Last modified on 2024-06-06.


Kristina Sojakova, Floris van Doorn, and Egbert Rijke. Sequential Colimits in Homotopy Type Theory. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '20, 845–858. Association for Computing Machinery, 07 2020. doi:10.1145/3373718.3394801.

Files in the namespace

module literature where

open import literature.sequential-colimits-in-homotopy-type-theory public

Recent changes