Axel Ljungström

Axel Ljungström

Ph.D. student in type theory at Stockholm University, Department of Mathematics

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

Submitted

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