We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The HolBA tutorial VM can be downloaded here.
Please see the tutorial directory here and look for the README.md files, which explain some of the steps.
Additionally, the first chapters of the HOL Guidebook can be useful if you are new to HOL4.