ProofTools Icon

ProofTools Versions for Windows

A cross-platform application designed to help you demonstrate logical expressions by generating proof trees (also known as analytic tableaux) for your formulas. Download ProofTools
Current versions listed on Download.io:
ProofTools