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:

- © 2018 Department of Computer Science and Technology, University of Cambridge

Information provided by Dr Mateja Jamnik