開發者 cs6725-prover.sf.net

在 Java 中實現的自動定理證明器並使用子句樹。 該軟體將能夠讀取TPTP的數學定理，並證明或反駁它們。