TD Logique & Preuves 2021—2022 Page du cours Correction TD Énoncé test 2 Énoncé test 2 en Coq Correction du TP noté « Gaulois »
