Docs for MIMs

DMs

• Le rapport (et les sources) du projet COQ.
• Mon DM sur la lock resolution pour le cours de démonstration automatique.
• Les slides de ma présentation pour le cours d'interprétation abstraite.