ProofTools 0.5 Beta Description:
ProofTools for Linux : 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. 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. 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.
Conclusion
To conclude ProofTools works on Linux operating system and can be easily downloaded using the below download link according to Freeware license. The download file is only 2.2 MB in size.ProofTools was filed under the Productivity category and was reviewed in softlookup.com and receive 3.3/5 Score.
ProofTools has been tested by our team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. We will recheck ProofTools when updated to assure that it remains clean.
ProofTools user Review
Please review ProofTools application and submit your comments below. We will collect all comments in an effort to determine whether the ProofTools software is reliable, perform as expected and deliver the promised features and functionalities.Popularity 6.6/10 - Downloads - 75 - Score - 3.3/5
| Category: | Productivity |
| Publisher: | Laird Shaw |
| Last Updated: | 03/14/2019 |
| Requirements: | Not specified |
| License: | Freeware |
| Operating system: | Linux |
| Hits: | 335 |
| File size: | 2.2 MB |
| Price: | Not specified |
 |
 |
| Name: * |
E-Mail: * |
| Comment: * |
|