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