Course page for Type Theory & Coq 2014–2015