Exam

  • The exam is a 24h take-home exam, starting 8am Wed 2 Nov 2011, due 7:59am on Thu 3 Nov 2011.
  • Exam specification [pdf] and theory file [thy].
  • You need to submit a .thy file using give, you may submit an additional pdf file. Example:

    give cs4161 exam Exam.thy