TY  - RPRT
TI  - Autoformalizing the calculation of $π_3(S^2)$
AU  - Daniel Carranza
AU  - Chunyi Liu
AU  - Emily Riehl
AU  - Egbert Rijke
PY  - 2026
UR  - https://arxiv.org/abs/2608.23721
ID  - 2608.23721
ER  -