Apparently the Cousot&Cousot style was not just a one-shot in 2014, because consider:


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

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