Computer programs for checking mathematical proofs