Hacker GitHub

← All repos

tom7/noperts

View on GitHub ↗ ★ 14 Lean

Reproducible nopert proofs

3 mentions on Hacker News by 3 people: 3 stories, 0 comments · first 2026-10-13 · latest 2026-11-02

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Tom7/noperts: Reproducible nopert proofs
    story by RebelPotato · 2026-11-02 · 0 comments
  2. ▲ 2
    The Septopert: A Provably minimal nopert
    story by robinhouston · 2026-10-14 · 0 comments
  3. ▲ 3
    Noperts: Reproducible proofs of non-Rupert polyhedra
    story by fanf2 · 2026-10-13 · 0 comments