module CallProver, to call an external prover like E or SPASS
on a problem given as a list of Ast_tptp.declaration;
tool proof_check_tstp to check proofs in TSTP format using external provers