Loading paper
Detecting exotic spheres in low dimensions using coker J | Tomesphere