Miscellaneous

• GlaMS Proferssional Skills Workshop. The latter half of our course will involve working in groups on Lean projects. To do this, we will use git and GitHub as our tools for collaboration. If you are not familiar with these, you should attend the relevant sessions of this workshop.

• For more resources to help you learn Lean, check out the Lean community website. In particular, you might find the Mathematics in Lean textbook or the Natural Number Game useful.