GitHub - TheCount/jhilbert: JHilbert is a a verifier for collaborative theorem proving

TheCount / jhilbert Public

Notifications You must be signed in to change notification settings
Fork 2
Star 4

JHilbert is a a verifier for collaborative theorem proving

www.wikiproofs.org

GPL-3.0 license

4 stars 2 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
.settings		.settings
doc/examples		doc/examples
src		src
.classpath		.classpath
.gitignore		.gitignore
.project		.project
ACKNOWLEDGEMENTS		ACKNOWLEDGEMENTS
AUTHORS		AUTHORS
BUILD		BUILD
COPYING		COPYING
README		README
TODO		TODO
pom.xml		pom.xml

Repository files navigation

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:
https://www.mathi.uni-heidelberg.de/~alex/jhilbert