Programma's van cs6725-prover.sf.net

Geautomatiseerde Stelling Prover geïmplementeerd in Java en met behulp van clausule bomen. Deze software zal in staat zijn om wiskundige stellingen van TPTP te lezen en te bewijzen of te weerleggen.