Text this: Computational Logic and Proof Theory