[antonvs]

> similar to how we can answer "python" to that question when the question is about general programming

An ironic claim in the context of formal methods.

[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.