Exam

The exam is a 24h take-home exam due 11:59pm on Tue. 12 Nov. Exam specification [pdf] and theory file [thy].

You need to submit a .thy file

give cs4161 exam Exam.thy