Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes

 (github.com)

6 points | by carlsverre 13 hours ago

4 comments