alt Hacker News> 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.
> 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.