Name: Anonymous 2014-06-28 17:51
https://docs.python.org/dev/howto/functional.html#formal-provability
Unfortunately, proving programs correct is largely impractical and not relevant to Python software.