Logic and Proof
Course notes (PDF)
Slides (PDF)
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 2024–25
Course notes (PDF)
Slides (PDF)
A toy theorem-prover coded in Standard ML (see here or here):
Possibly useful external links:
© 2025 Department of Computer Science and Technology, University of Cambridge
Information provided by Prof Mateja Jamnik – edit page