Issue for formalised proof of P=NP(github.com)

3 pointsby black_knightw zeszłym miesiącu1 comments

https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1

1 comments

black_knightw zeszłym miesiącu

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