P≠NP spectral gap proof - verification req

Stream: Program verification

[Fractal Dev Team]

Thank you for you comment Mario. The axiom is fully derived in my Chapter 21. You made an excellent point that it’s not fully formulated from first principals in the Lean Code. I will make the changes and i would be honored if you would be willing to look at them again.

thank you for your time, sir