uProve

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

Development

Interested?

Please contact me if you are interested in improving uProve. Someone who knows how to make a Java GUI would for example be very valuable.

Source code

The complete source code for uProve is free to download for anybody who wants it. Feel free to do whatever you want with it for personal use, but please contact me if you intend to distribute the result in any form.