ProofTools 0.5 Beta

This project provides a free and cross-platform application for generating proof trees
ProofTools is a freely distributed and multiplatform software project that has been designed from the offset to be used for automatic and graphical generation of semantic tableaux, also known as semantic trees, analytic tableaux, proof trees or truth trees.

Features at a glance

The application can be used to test whether an argument or proof is deductively valid, or whether a formula is a logical truth. ProofTools is capable of drawing proof trees for predicate, including identity, propositional and basic, normal, contingent-identity or constant domain modal logics. The program can export the final result to an image.

Easy to use and straightforward GUI

ProofTools’ graphical user interface boasts a simple design, it is easy to use and straightforward, and compresses all of its tools into a single window, so users can quickly access them and create proof of trees.

It allows users to change the interface’s or tree’s font, change the background and foreground color of the tree, set hotkeys, select modal logic variants, add premise, set conclusion, enable smooth lines, Tarski’s world syntax, abbreviate tree, and many other useful functions.

Under the hood and supported OSes

ProofTools is an application that uses both GTK+ and Qt cross-platform GUI toolkits for its graphical user interface. It has been written entirely in the Lazarus visual integrated development environment (IDE) and supports GNU/Linux, Microsoft Windows and Mac OS X operating systems.

Availability and supported architectures

The software is available for download for free, as pre-built binary packages with either the GTK+ or Qt GUIs, designed to support both 32-bit (x86) and 64-bit (x86_64) instruction set architectures. Please note that this is not an open-source application, so you won’t be able to download its source code.

Reviewed by on October 10th, 2014


last updated on:
October 10th, 2014, 7:33 GMT
price:
FREE!
developed by:
Laird Shaw
homepage:
creativeandcritical.net
license type:
Freeware 
category:
ROOT \ Education

FREE!

In a hurry? Add it to your Download Basket!

softpedia rating

4.0/5

user rating 2

2.5/5
 

0/5

Rate it!
1 Screenshot
ProofTools - The main window, where users can generate proof trees
What's New in This Release:
  • Bugfix: sometimes, when starting the app, its main window's status bar was invisible until that window was resized.
  • Added copy-to-clipboard support for both individual nodes (plain text) and the entire tree (as an image), accessible via a right-click context menu.
  • Added counter-model popups, fully supporting propositional, predicate and modal logic in any combination, with a copy-to-clipboard feature accessible via a right-click context menu.
  • Added support and a toggle box for the modal Euclidean accessibility relation ε, equivalent to toggling modal axiom 5.
read full changelog
 

Application description

ProofTools is a free and multi-platform graphical application written in Qt and GTK+, designed to help users generate ...

Add your review!

SUBMIT