Teaching material used for the June, 2020 course

This is the version used for the course in June 2020.