Here is the web page of our course "Machine-Checked Mathematics" at the Vrije Universiteit Amsterdam.