开发者 cs6725-prover.sf.net

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