Some programs for checking mathematical logic proofs, automatically proof statements and so on.