• The exam will be a 24h take-home exam.
    It will start Tue, 6 Nov 2018, 8am, and end 7 Nov 2018, 7:59am.
  • Exam material:
    exam [pdf], Isabelle template [thy], helper lemmas [thy], exam.c [c].
  • You should use Isabelle 2017 (not Isabelle2018) and AutoCorres-1.4 for the exam (same as for the assignments).
  • You need to submit a .thy file using give:

    give cs4161 exam exam.thy

    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.