ProofTools screenshots

A cross-platform application designed to help you demonstrate logical expressions by generating proof trees (also known as analytic tableaux) for your formulas. Read more about ProofTools
ProofTools ProofTools screenshots
ProofTools screenshot
ProofTools