Apparently the Cousot&Cousot style was not just a one-shot in 2014, because consider: dl.acm.org/doi/abs/10.1145/325

Follow

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.

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.