Java TPTP3ProofProcessor.testE Examples

Example #1

File: TPTP3ProofProcessor.java Project: kdgerring/sigma

  /** *************************************************************** */
  public static void main(String[] args) {

    // testParseProofStep();
    // testParseProofFile();
    testE();
  }