TD Logique & Preuves 2021—2022

• Page du cours
• Correction TD
• Énoncé test 2
• Énoncé test 2 en Coq
• Correction du TP noté « Gaulois »