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



uProve is a program that can help you build natural deduction proofs in propositional logic. All you have to do is click on the lines to which you want to apply a rule, and then select the rule in question from a list of suggestions. It is as easy as that!

Furthermore, proofs can easily be saved and opened. You can take a break right in the middle of a proof and return to exactly where you were at any time without having to redo the previous steps. You can also use this function to share your most impressive proofs.

Get it now!

There are two ways to get this program. The first is to download the program as you download most other applications. The second way is to use Java Web Start. All you have to do then is click on a link and the program will start.

See Download and Run it now! for details.

Known problems

The graphical user interface is unreliable in the current release. This does not in any way harm the underlaying functionality in the program, but it sure is annoying.


The program is built by Niklas Udd as a term project for the course Principles of Formal Software Development (CSI5110) at the University of Ottawa in Ontario, Canada.

Copyright © 2006 Niklas Udd | css | xhtml