Computing Cohomology Rings in Cubical Agda

Proceedings of CPP 2023

Thomas Lamiaux, Axel Ljungström, Anders Mörtberg https://arxiv.org/abs/2212.04182