tom7/noperts

Reproducible nopert proofs

3 best points · 0 comments · 3 Hacker News posts · 11 GitHub stars · View on GitHub

Hacker News discussions

• Noperts: Reproducible proofs of non-Rupert polyhedra (3 points, 0 comments, by fanf2, 2026-10-13)
• The Septopert: A Provably minimal nopert (2 points, 0 comments, by robinhouston, 2026-10-14)
• Tom7/noperts: Reproducible nopert proofs (1 points, 0 comments, by RebelPotato, 2026-11-02)