ProofTools This project provides a free and cross-platform application for generating proof trees
Download

ProofTools Ranking & Summary

ProofTools Tags

ProofTools Description

ProofTools is a free graphical application written in both GTK+ and Qt, and designed to be used for automatic and graphical generation of semantic tableaux, also known as proof trees, analytic tableaux, or semantic trees. The application can be used to test whether an argument or proof is deductively valid, or whether a formula is a logical truth. ProofTools is able to validate a propositional, a predicate and a modal logic argument or logical truth using the proof tree method. ProofTools is a platform-independent application that supports Linux, Microsoft Windows and Mac OS X operating systems. Binaries for GTK and Qt are provided in the download section above, supporting both 32-bit and 64-bit architectures.

ProofTools Related Software