jkingdon / jhilbert Goto Github PK
View Code? Open in Web Editor NEWThis project forked from thecount/jhilbert
JHilbert is a a verifier for collaborative theorem proving
Home Page: http://www.wikiproofs.org
License: GNU General Public License v3.0