Text this: Logical Proofs with Equivalences.