提交软件

开发者 cs6725-prover.sf.net

  • UNB Theorem Prover? 免费

    在 Java 中实现的自动定理证明器并使用子句树。 该软件将能够读取TPTP的数学定理，并证明或反驳它们。