Issue for formalised proof of P=NP

github.com

3 pointsblack_knight1 comment

While a formalised proof is guaranteed to be a correct proof, the question is “What is it a correct proof of‽”