Text this: Proof Theory in Computer Science