GitHub repository: row5is/HOL112018
Description: Hands on lab notes for the November 2018 meeting