Loading paper
New lower bounds on $\chi(R^d)$ for $d=8 \dots 12$ | Tomesphere