Proof Assistants
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.
Course materials
Department of Computer Science and Technology
Course pages 2025–26 (working draft)
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.
© 2025 Department of Computer Science and Technology, University of Cambridge
Information provided by Dr Thomas Bauereiss – edit page