TiruArt/Pedigree-Polytopes-Lean4
View on GitHub ↗ ★ 9 Lean
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
20082026
-
▲ 6
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopesstory by carlsverre · 2026-06-05 · 4 comments
-
▲ 3
Issue for formalised proof of P=NPstory by black_knight · 2026-06-03 · 1 comment