Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Teaching
Courses 2012–13
Logic and Proof
Course materials
Algorithms II
Computer Design
Computer Graphics and Image Processing
Concurrent and Distributed Systems
ECAD and Architecture Practical Classes
Further Java
Logic and Proof
Mathematical Methods for Computer Science
Programming in C and C++
Prolog
Software Engineering
Unix Tools
Compiler Construction
Computation Theory
Computer Networking
Databases
Security I
Semantics of Programming Languages
Artificial Intelligence I
Complexity Theory
Concepts in Programming Languages
Economics and Law
Course pages 2012–13
Logic and Proof
Syllabus
Course materials
Information for supervisors
Course notes
(PDF)
Slides
(PDF)
A toy theorem-proved coded in ML:
prover source
some examples to run
© 2012 Computer Laboratory, University of Cambridge
Information provided by
Prof Larry Paulson