uProve is a simple and easy-to-use program for building natural deduction proofs in propositional logic
An introduction to uProve and its user interface can be found in the report available for download on the Download page.
A tutorial is available here on the website. Go to the tutorial!
Copyright © 2006 Niklas Udd | css | xhtml