[dahart]

Out of curiosity, why’s that? I don’t know formal methods nor the relationship to python.

[mrkeen]

The most widely available, useful, and best-bang-for-buck formal method is using a good type system.