A. Mahdoum, “P ¹ NP: A Formal Proof”, ijetst, May 2024.