Synethetic Integral Cohomology in Cubical Agda

Proceedings of CSL 2022

Guillaume Brunerie, Axel Ljungström, Anders Mörtberg http://aljungstrom.github.io/files/zcohomology.pdf