Course page for Type Theory & Coq 2018–2019