A computer system for checking proofs