Proof Assistants

• Assignment I: The IMP language in Isabelle
  • Handout with the tasks and details on the marking scheme.
  • Theory files (tar / zip). Please use the file Assignment1.thy as a template.
  • Please submit your work via Moodle by the due date of 5 March 2026, 16:00.

See the syllabus for more general information about the assessment.