プログラム cs6725-prover.sf.net

Javaと句ツリーを使用して実装された自動定理Prover。 このソフトウェアは、TPTPから数学的定理を読み取り、それらを証明または反証することができます。