Documents

• Le Petit guide de survie en Coq
• Le Manuel de référence de Coq

Notes de cours (en anglais), Types Summer School'05:

• System F: PDF, PDF-4/1
• Normalisation of second-order arithmetic: PDF, PDF-4/1

TP

• Feuille de TP n°1: DVI, PDF, .ps.gz (corrigé)
• Feuille de TP n°2: DVI, PDF, .ps.gz (corrigé)
• Feuille de TP n°3: DVI, PDF, .ps.gz (corrigé)
• Feuille de TP n°4: DVI, PDF, .ps.gz (corrigé)
• Feuille de TP n°5: DVI, PDF, .ps.gz (corrigé)
• Feuille de TP n°6: DVI, PDF, .ps.gz
• Feuille de TP n°7: DVI, PDF, .ps.gz
• Feuille de TP n°8: DVI, PDF, .ps.gz

Annales

• Examen 2005-2006
• Examen 2002-2003
• Examen 2001-2002
• Examen 2000-2001
• Examen 1999-2000
• Examen 1998-1999
• Examen 1997-1998
• Examen 1996-1997