Return to Issue Details P ¹ NP: A Formal Proof Download Download PDF