uProve is a simple and easy-to-use program for building natural deduction proofs in propositional logic
Downloading the jar file is a simple way to download the program. All you have to do is download the file, save it wherever you want it and double-click on it.
If it does not work to double-click, the program can be started from the command prompt by executing the command "java -jar uProve.jar" from the directory to which the program was downloaded.
You need Java, version is 5.0 (also known as 1.5.0) or higher, in order to run this program. If you do not have (the required version of) Java, you can easily download it from this website.
Copyright © 2006 Niklas Udd | css | xhtml