I'll give an introductory tutorial of the Coq proof assistant.
I'll probably cover the first 2 chapters of Software Foundations (in a completely unprepared fashion).
If you want to have more fun:
- Bring your laptop
- Install coq and the coqide https://coq.inria.fr/download beforehand
- Download Software Foundations https://www.cis.upenn.edu/~bcpierce/sf/current/index.html