Formalizing $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda

arXiv2302.00151MaRDI QIDQ6425029

Anders Mörtberg, Unnamed Author

Publication date: 31 January 2023

This page was built for publication: Formalizing $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda