Prerequisites about Parts Unlimited HOL either if you are on Windows, Mac or Linux.
The hands-on lab is available here.