Simple preliminaries in HOL mirroring the code directory.
Add a .gitignore file.
Slightly updated version of the notes I wrote in our last meeting