-
Notifications
You must be signed in to change notification settings - Fork 143
Home
xrchz edited this page Aug 6, 2012
·
5 revisions
Welcome to the HOL wiki!
- Homepage: http://hol.sourceforge.net.
- 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.
- 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.