Autoformalizing the calculation of
arXiv:2608.23721
Abstract
We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of in agda-unimath using Codex.
Tagged PDF available at https://github.com/emilyriehl/Codex-Homotopy-Group/blob/arxiv-v1/auto-pi3S2-tagged.pdf