## References ## * [The James construction and $\pi_4(S^3)$ in homotopy type theory](https://arxiv.org/abs/1710.10307) * [On the homotopy groups of spheres in homotopy type theory](https://arxiv.org/abs/1606.05916)