JHilbert is a a verifier for collaborative theorem proving.
Start with these files:
* COPYING
contains the license under which this software is distributed.
* ACKNOWLEDGEMENTS
for acknowledgements.
* BUILD
for instructions on how to generate the JAR file.
You should also check out the doc/ subdirectory.
Download the latest version from:
http://www.mathi.uni-heidelberg.de/~alex/jhilbert