@article{2023arXiv230200151L,
    doi = {10.48550/arXiv.2302.00151},
    Author = {{Ljungstr{\"o}m}, Axel and {M{\"o}rtberg}, Anders},
    EID = {arXiv:2302.00151},
    EPrint = {2302.00151},
    File = {Formalizing {$\pi$}4(𝕊3)≅ℤ2ℤ and Computing a Brunerie Number in Cubical Agda - 2302.00151.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Mathematics - Algebraic Topology, Computer Science - Logic in Computer Science},
    Month = {January},
    Pages = {arXiv:2302.00151},
    PrimaryClass = {math.AT},
    Title = {{Formalizing $\pi\_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda}},
    Year = {2023},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230200151L},
    bdsk-url-1 = {https://doi.org/10.48550/arXiv.2302.00151},
    date-added = {2023-04-28 18:06:39 +0200},
    date-modified = {2023-04-28 18:06:39 +0200}
}

@article{2023arXiv230200151L, doi = {10.48550/arXiv.2302.00151}, Author = {{Ljungstr{\"o}m}, Axel and {M{\"o}rtberg}, Anders}, EID = {arXiv:2302.00151}, EPrint = {2302.00151}, File = {Formalizing {$\pi$}4(𝕊3)≅ℤ2ℤ and Computing a Brunerie Number in Cubical Agda - 2302.00151.pdf}, Journal = {arXiv e-prints}, Keywords = {Mathematics - Algebraic Topology, Computer Science - Logic in Computer Science}, Month = {January}, Pages = {arXiv:2302.00151}, PrimaryClass = {math.AT}, Title = {{Formalizing $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda}}, Year = {2023}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230200151L}, bdsk-url-1 = {https://doi.org/10.48550/arXiv.2302.00151}, date-added = {2023-04-28 18:06:39 +0200}, date-modified = {2023-04-28 18:06:39 +0200} }