Computer Laboratory
Logic and Proof
Computer Laboratory
>
Course material 2002-03
>
Logic and Proof
Logic and Proof
2002-03
Principal lecturer:
Dr Larry Paulson
(
lcp@cl.cam.ac.uk
)
Taken by:
Part IB
Syllabus
Past exam questions
Course notes
Slides
A toy theorem-proved coded in ML:
prover source
some examples to run