The reddit people are very skeptical regarding the paper: https://www.reddit.com/r/computerscience/comments/1odgx6v/lean_proof_of_p_np_can_lean_proofs_be_wrong

The reddit people are very skeptical regarding the paper: https://www.reddit.com/r/computerscience/comments/1odgx6v/lean_proof_of_p_np_can_lean_proofs_be_wrong/ https://www.reddit.com/r/computerscience/comments/1odgx6v/le... https://www.reddit.com/r/learnmath/comments/1odh3f5/is_this_lean_proof_of_p_np_correct_can_lean/ https://www.reddit.com/r/learnmath/comments/1odh3f5/is_this_...