Course page for Type Theory & Coq 2017–2018