Text this: Proof Reconstruction: Parsing Proofs