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.

>>8
Baseless assertion. Why do people with inferior minds think they can reason about what superior minds are capable of doing? Plus programs have been created that can do just that for other programs. Very simple and easy.