1 mirror · Windows · Free
Pick from 1 verified mirror below. All deliver the same 889 KB file under the Freeware license.
1 available
About this software
ProofTools : A cross-platform application designed to help you demonstrate logical expressions by generating proof trees (also known as analytic tableaux) for your formulas
Read the full ProofTools review and feature list →
Tips
If a mirror is slow or temporarily offline, just pick another from the list above — every mirror serves the identical 889 KBfile. Each link launches a brief 5-second redirect page so we can track which mirrors are healthiest.
At a glance