Programmes par cs6725-prover.sf.net

Theorem Prover automatisé mis en œuvre en Java et en utilisant des arbres clause. Ce logiciel sera capable de lire les théoriques mathématiques de TPTP et de les prouver ou de les réfuter.