Tarafından Programlar cs6725-prover.sf.net

Otomatik Theorem Prover Java uygulanan ve madde ağaçları kullanarak. Bu yazılım TPTP matematiksel teoremleri okumak ve kanıtlamak veya çürütmek mümkün olacak.