Formalising and Computing the Fourth Homotopy Group of the 3-Sphere in Cubical Agda

Submitted, 2023

Axel Ljungström, Anders Mörtberg https://arxiv.org/abs/2302.00151