G github.com Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes 6 points carlsverre 4 months ago 4 comments
