Two-Column Proofs that Two-Column Proofs are Terrible

Theorem #1: “Justifying steps” ought to be an opaque, frustrating process.

Advertisements