A guidebook to the HOL theorem prover. N.B.: WORK IN PROGRESS. There is a live version at https://hol-theorem-prover.org/guidebook.
Pull requests welcome.
Ramana Kumar Yannick Duchêne
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.