uProve is a simple and easy-to-use program for building natural deduction proofs in propositional logic
Instructions, together with information that might be useful if you want to understand the code and the internal structure of uProve, are found in the report which also can be downloaded from the Download page.
More information can be found on the Development page.
Copyright © 2006 Niklas Udd | css | xhtml