ProofTools

Name: ProofTools
Works on: windows

Windows 7 and above

Developer: Laird Shaw

Version: 0.5
Last Updated: 03 Apr 2017
Release: 18 Oct 2014
Category: Others > Home and Education

Rate this software:
340 downloads

View Screenshots(2)

Comments

Download

Liked it? Tell others:

ProofTools Tags

analytic tableau generator generate analytic tableaux generate semantic tableau analytic tableau analytic tableaux semantic tableaux semantic tree

ProofTools Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
File Format: zip

SHA1 Hash 32bit version: e1deb12a932d376762ee8b67243636a1d4d97de8
Size 32bit version: 910.41 KB

SHA1 Hash 64bit version: 513b86229b78e9a0bf57dc4a6bb88afb4cc4f967
Size 64bit version: 910.4 KB

Rating: 2.478260869 out of 5 based on 23 user ratings

Downloads: 340
License: Free

ProofTools is a free software by Laird Shaw and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download ProofTools which is 910.41 KB in size and belongs to the software category Home and Education.
ProofTools was released on 2014-10-18 and last updated on our database on 2017-04-03 and is currently at version 0.5.
We also have ProofTools 64bit version which is 910.4 KB in size and will work on x64 computers.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:
Share in your network:

ProofTools Description

ProofTools is designed to test if a formula is a logical truth and if a certain argument is valid. The program allows you to enter the formula and view the test steps required to test it.
You can review the demonstration steps in the main window and export them to a PNG image in order to use it in your presentations.

Note:Â This is a cross-platform application, available for OS X and Linux as well.

ProofTools Screenshots

Similar Software