Tuesday, Oct 13, 2026
The noperts project provides reproducible proofs of non-Rupert polyhedra and is hosted on GitHub under the tom7/noperts repository.