Noperts: Reproducible proofs of non-Rupert polyhedra

3 points | by fanf2 12 hours ago