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