uProve is a simple and easy-to-use program for building natural deduction proofs in propositional logic
It is good practice to, if possible, verify the integrity of files downloaded from the Internet. The aim of this process is to make sure that the files that has actually been downloaded is the very same one that was published. Since a file can be corrupted or tampered with, this is a good idea.
This process does not verify that a program is free from viruses, spyware and other malware. It merely suggests that a file has not been tampered with since it was made.
Integrity verification is here done with the help of the hash functions MD5 and SHA-1. Most Linux distributions come with the tools md5sum and sha1sum, which can be used for this.
Run one of those tools on the downloaded file and compare the result to what is found in the files listed below. (Exact details on how to do this will be posted later.)
The file containing a list with the expected results can be downloaded from the two servers listed below.
Copyright © 2006 Niklas Udd | css | xhtml