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


Questions, suggestions or comments?

Your feedback is appreciated! Please write a line or two (or more) and give your comments.

(If the address is not shown above, JavaScript is probably deactivated. Active JavaScript and reload the page.)

Copyright © 2006 Niklas Udd | css | xhtml