Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopesgithub.com/TiruArt6 pointscarlsverre18 days ago