• Compte-rendu de la journée ADT tactiques du 30 juin 2009
• Questions d'ordre général
• Ssreflect
• MLtac + notes sur les tactiques de Coq
• Analyse de Ltac
• Divers