Logic and Proof
Course notes (PDF)
Slides (Lectures 1-3) (PDF) - more will be added
A toy theorem-prover coded in Standard ML (see here or here):
Possibly useful external links:
Course materials
Department of Computer Science and Technology
Course pages 2025–26
Course notes (PDF)
Slides (Lectures 1-3) (PDF) - more will be added
A toy theorem-prover coded in Standard ML (see here or here):
Possibly useful external links:
© 2026 Department of Computer Science and Technology, University of Cambridge
Information provided by Prof Mateja Jamnik – edit page