uProve is a simple and easy-to-use program for building natural deduction proofs in propositional logic
This page lists all uProve related files that can be downloaded from this site.
| Name | Content | Size |
| uProve.jar Version: 1.0 |
uProve -- complete, compiled and ready to run! Read more | Verify integrity |
52 kB |
| uProve-src.zip 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