The HOL theorem prover is a collaborative project hosted on GitHub. We welcome contributions (e.g. code via pull requests) and provide help and advice via mailing lists and chatrooms:
hol-info mailing list is for
discussion, questions and announcements related to the HOL System (HOL4 and HOL Light discussions are both welcome)
[send a message |
subscribe |
archives at (mail-archive.com;
SourceForge) ]
Bug reports: Please use the GitHub issue tracker to report problems, and make feature suggestions.
As git is a distributed version control system, it is easy for you to make your own local commits to your copy of the repository. If you’d additionally like to have those commits incorporated into the official repository, you need to issue what is known as a “pull request”. You will first need to push your version of the repository onto GitHub (which you may already have set up if you forked our code there). Then you follow the process described here (GitHub documentation). Developers might like to subscribe to the developers' mailing list in addition to the hol-info users' list.