Loading paper
Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods | Tomesphere