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