lel python babby tier shit

https://docs.python.org/dev/howto/functional.html#formal-provability

Unfortunately, proving programs correct is largely impractical and not relevant to Python software.

>>1

the goal is instead a rigorous proof that a program produces the right result for all possible inputs.

To do that you have to anticipate all possible inputs and how they will interact together. But you cant do that, no matter what genius or prophet you are, because there are unknown unknowns - you don't know what could become incorrect and in what way, so you don't know what to prove.