coq / stdlib2

GNU Lesser General Public License v2.1
39 stars 9 forks source link

It seems I have a short proof of P=NP - check it #24

Closed vporton closed 3 years ago

vporton commented 3 years ago

I've produced a short and much elementary proof of P=NP (without an efficient algorithm presented). I sent it to a reputable CS journal and insofar there were no errors noticed by the editor. (However, I myself found several errors, that are already corrected in the attached file.)

You should check my proof.

p=np-merkle.pdf

SkySkimmer commented 3 years ago

This has nothing to do with coq or stdlib2

vporton commented 3 years ago

@SkySkimmer Got your position: stdlib2 should not contain a proof of P=NP.