-
Notifications
You must be signed in to change notification settings - Fork 142
Home
Michael Norrish edited this page Aug 20, 2015
·
5 revisions
Welcome to the HOL wiki!
- Homepage: http://hol-theorem-prover.org
- See $HOLDIR/INSTALL and the tutorial.
- Ask questions, we are friendly. And a lot of the best tips are still locked in people's heads.
- Mailing list: https://lists.sourceforge.net/lists/listinfo/hol-info.
- Issues/Bug reports: http://github.com/mn200/HOL/issues.
- This wiki: http://github.com/mn200/HOL/wiki.
- Online help system via the "help" function available at the REPL. Also "apropos" and others...
- HTML signatures at $HOLDIR/help/HOLindex.html.
- Reference manuals from the homepage or in $HOLDIR/Manual.