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


Files to download

This page lists all uProve related files that can be downloaded from this site.

Name Content Size
Version: 1.0
uProve -- complete, compiled and ready to run!
Read more | Verify integrity
52 kB
Version: 1.0
The source code for the complete program together with unit tests and a build file for Apache Ant.
Read more | Verify integrity
66 kB
uProve-report.pdf This report's objective is to describe how the program is designed and implemented, how it can be installed and how it should be used. 284 kB
uProve-presentation.pdf This file contains the slides used to present uProve. (They are probably not so useful out of their context.) 192 kB

Copyright © 2006 Niklas Udd | css | xhtml