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