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