Course page for Type Theory & Coq 2013–2014