Out of curiosity, why’s that? I don’t know formal methods nor the relationship to python.
The most widely available, useful, and best-bang-for-buck formal method is using a good type system.
alt Hacker News
The most widely available, useful, and best-bang-for-buck formal method is using a good type system.