Программы cs6725-prover.sf.net

Автоматизированная теорема Prover реализована в Java и с использованием деревьев оговорок. Это программное обеспечение будет в состоянии читать математические теоремы из TPTP и доказать или опровергнуть их.