Autoformalizing the calculation of ${\pi }_3(S^2)$

Daniel Carranza, Chunyi Liu, Emily Riehl +1

We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of ${\pi }_3(S^2)$ in agda-unimath using Codex.