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.

6 best points · 5 comments · 2 Hacker News posts · 9 GitHub stars · View on GitHub

Hacker News discussions

• Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes (6 points, 4 comments, by carlsverre, 2026-06-05)
• Issue for formalised proof of P=NP (3 points, 1 comments, by black_knight, 2026-06-03)