Course pages 2017–18
Logic and Proof
Course notes (PDF)
Slides (PDF)
A toy theorem-prover coded in ML:
Possibly useful external links:
Course pages 2017–18
Course notes (PDF)
Slides (PDF)
A toy theorem-prover coded in ML:
Possibly useful external links: