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.

Correct programs don't lead to software failures or exploitation or other such things while python isn't even used to write such software where such things are of major concern. Q.E.D