Apparently the Cousot&Cousot style was not just a one-shot in 2014, because consider: https://dl.acm.org/doi/abs/10.1145/325694.325699
It's not quite as dense as the classic but it's certainly getting there
@ionchy "Proof: Consider the counter-example" is an interesting way to start a proof
@ionchy In general, REDACTED.Proof. Consider the counterexample REDACTED so that REDACTED, REDACTED.
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.