Programas por cs6725-prover.sf.net
-
UNB Theorem Prover? Livre
Teorema automatizado Prover implementado em Java e usando árvores de cláusula. Este software será capaz de ler teoremas matemáticos da TPTP e prová-los ou refutá-los.
Teorema automatizado Prover implementado em Java e usando árvores de cláusula. Este software será capaz de ler teoremas matemáticos da TPTP e prová-los ou refutá-los.