3 ms·Issue for formalised proof of P=NP3 points by black_knight 4mo agoblack_knight 4mo agoWhile a formalised proof is guaranteed to be a correct proof, the question is “What is it a correct proof of‽”