Mahdoum A. P ¹ NP: A Formal Proof. ijetst [Internet]. 2024May7 [cited 2024Dec.22];. Available from: http://ijetst.in/index.php/ijetst/article/view/1579