TiruArt/Pedigree-Polytopes-Lean4

Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2026-06-03 · latest 2026-06-05

Mentions per year 3 mentions · busiest year 2026 (3)

20082026

All Stories Comments Newest Top Oldest

Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
comment by carlsverre · 2026-06-05 · in Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes