From 3ad0ddb55e9acc6faf32f0d2fe3004ca9cc4ea2b Mon Sep 17 00:00:00 2001 From: Luc Dartois Date: Tue, 19 Sep 2023 10:23:39 +0200 Subject: [PATCH] Update 'README.md' --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index bf9a572..17923ad 100644 --- a/README.md +++ b/README.md @@ -6,9 +6,8 @@ | -------------------- | ------------------------------------------------ | ----------------------- | | 1 : 06/09 - 10/09 | [Formes propositionelles](./cours/1logique1.pdf) | [td1](./td/td1.pdf) | | 2 : 13/09 - 17/09 | [Formes normales, simplification](./cours/2logique2.pdf) | [td2](./td/td2.pdf) | -