Course page for Type Theory & Coq 2015–2016