Exam
- The exam is a 24h take-home exam. It starts 6 Nov 2015, 8am, and ends 7 Nov 2015, 8am.
- Exam material: exam [pdf], Isabelle template 1 [thy], Isabelle template 2 [thy], func.c [c].
- You should use Isabelle 2015 and AutoCorres 2015 for the exam (same as for the assignments).
You need to submit a .thy file using give, and may also submit a .txt or .pdf file. Example:
give cs4161 exam exam.thy exam.pdf
You can also use the web interface.
- If you have trouble using the submission system, you can also submit your exam to one of the lecturers by email.