ProofTools

ProofTools is a free software that you can use on different platforms. It was made to help create something called semantic tableaux, which are also known as proof trees or truth trees. Basically, it's a tool for visualizing logical arguments!

What Can You Do with ProofTools?

This software is super handy if you want to check if an argument or proof makes sense. It can tell you if a formula is logically true! ProofTools can draw proof trees for different types of logic, including predicate logic and modal logics. Plus, once you're done, you can easily export your results as images.

User-Friendly Interface

The interface of ProofTools is designed to be simple and easy to navigate. Everything you need is packed into one window, so you don't have to dig around trying to find tools. This makes it really quick to access everything and get those proof trees created.

Customize Your Experience

You can also make the interface feel like yours! Change the font of the tree, adjust the background colors, set up hotkeys for faster use, and select different modal logic options. There are plenty of features like adding premises and conclusions or enabling smooth lines.

Cross-Platform Compatibility

ProofTools works on several operating systems! It's built using GTK+ and Qt toolkits and runs on GNU/Linux, Windows, and Mac OS X too. Just keep in mind that while it's free to download, it's not open-source—so no source code available here.

Get Started with ProofTools!

If you're ready to try it out, download ProofTools now! You'll find pre-built packages for both GTK+ and Qt GUIs that support 32-bit (x86) and 64-bit (x86_64) systems.