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

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