JHilbert is a a verifier for collaborative theorem proving
Primary LanguageJavaGNU General Public License v3.0GPL-3.0