Text this: A computer system for checking proofs /