@misc{indiciae00d799d7c93c,
  title = {Formalising and Computing the Fourth Homotopy Group of the \$3\$-Sphere in Cubical Agda},
  author = {Axel Ljungström and Anders Mörtberg},
  year = {2024},
  url = {https://arxiv.org/abs/2302.00151},
  note = {Source identifier: 2302.00151}
}