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