automated Prover 9 output from TpTp files
automated convert of Tptp files ( http://www.cs.miami.edu/~tptp/ ) to Prover 9 ( https://www.cs.unm.edu/~mccune/mace4/ ) and then run automated proof, and check the proofs back in here.
automated Prover 9 output from TpTp files
automated convert of Tptp files ( http://www.cs.miami.edu/~tptp/ ) to Prover 9 ( https://www.cs.unm.edu/~mccune/mace4/ ) and then run automated proof, and check the proofs back in here.