Course page for Type Theory & Coq 2019–2020