Issue for formalised proof of P=NP (opens in new tab)

(github.com)

3 pointsblack_knight17d ago1 comments

1 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse