Program menurut cs6725-prover.sf.net

Theorem Prover otomatis diimplementasikan di Jawa dan menggunakan pohon klausa. Perangkat lunak ini akan dapat membaca temama matematika dari TPTP dan membuktikan atau membantahnya.