uProve is a simple and easy-to-use program for building natural deduction proofs in propositional logic

Run it now!

Why use Java Web Start?

It is actually possible to run uProve without much more than a click. The major advantages and disadvantages with this approach are listed below.

Java Web Start is safe. You do not have to worry about the program containing viruses, spyware or other malware.

Java Web Start is easy to use. The basic idea is that you click on the link below and the program launches.

The downside of it all is that it is not possible to open or save proofs in this version of the program.


In order to run the program this way, Java Web Start must be installed. If you have Java installed, you probably do not have to worry since Java Web Start often is installed at the same time Java is. The required Java version is 5.0 (also known as 1.5.0) or higher. If you do not have (the required version of) Java Web Start, you can easily download it from this website.

Start uProve!

Click the link above to start!

Copyright © 2006 Niklas Udd | css | xhtml