Programas por cs6725-prover.sf.net

UNB Theorem Prover? Gratis

Teorema Automático Prover implementado en Java y utilizando árboles de cláusulas. Este software será capaz de leer teoremas matemáticos de TPTP y probarlos o refutarlos.