Lecture Slides

Here are the slides of the ITP Course. You there is the version used in the lecture as well as one optimised for printing. The printing version contains 4 slides per page, is mostly black and white and contains no navigation symbols.

ITP Lecture Slides
ITP Lecture Slides - printer friendly version

Last update of slides 10 July 2017

Meanwhile, a version of the slides has been published under CC-BY-SA license and is available from https://hol-theorem-prover.org. (slides, printer friendly version)