Skip to content

HolBA tutorial

Jump to bottom
Thomas Lacroix edited this page Jun 26, 2019 · 2 revisions

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.

Please keep in mind that the tutorial is a current WIP (#70). If you plan to follow it, we encourage you to contact us beforehand to check for its status. Additionally, the first chapters of the HOL Guidebook can be useful if you are new to HOL4.

Clone this wiki locally