Tutorial Sessions

You will find material related to tutorials posted here. Time spent in tutorials for this class is dedicated to problem solving, sometimes through the usage of a specific tool (like a theorem prover, a SAT/SMT solver, etc). Over the time, we have tried to record these things in videos, so that they can be accessed at any time. Whenever a video for a tutorial is available, the actual tutorial slot is dedicated to other things. These can include your TA being present to answer questions, the exams, or anything else that comes up during the term.

• Tutorial (0): Video [Dafny] tutorials (dafny.html)
• Tutorial (1): Exception: Friday 9/11 will be treated like an ordinary class. Attend it as such.
• Tutoria (2): Iterative Program Proofs in Velvet/Lean