Programmi di cs6725-prover.sf.net
-
UNB Theorem Prover? Gratuito
Automated Theorem Prover implementato in Java e utilizzando alberi di clausola. Questo software sarà in grado di leggere teoremi matematici da TPTP e dimostrarli o confutarli.
Automated Theorem Prover implementato in Java e utilizzando alberi di clausola. Questo software sarà in grado di leggere teoremi matematici da TPTP e dimostrarli o confutarli.