TableauxProofTool è un dimostratore automatico di teoremi della logica proposizionale basato sul metodo dei tableaux semantici e le sue varianti. Realizzato per il progetto relativo all'esame di Logica Computazionale, è sviluppato in linguaggio Python (librerie grafiche Qt) e rilasciato in licenza GPL.

Il pacchetto dell'applicazione (versione 0.1.1) compilato per processori x86_64 è scaricabile dal seguente link su SourceForge.

I sorgenti su GitHub sono reperibili al seguente link.

Per ulteriori informazioni è possibile leggere la seguente relazione tecnica in formato pdf.