AR: Course Contacts

Isabelle  labs will happen once a week on Mondays. These are drop-in sessions, so you can join them whenever you have questions regarding Isabelle and stay for as long as you want. These sessions will be from Week 3 to Week 9. The schedule and venue are as follows:
 

Up to 30 minutes will be dedicated to general questions at the beginning of the sessions, then you will have the opportunity to ask your questions to our demonstrator in a 1-on-1 meeting setting.

At each lab session, a demonstrator will be available to help with the course material and coursework. You are strongly encouraged to try the additional Isabelle exercises during the first few labs.