diff options
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -3,7 +3,7 @@ | |||
| 3 | Here you can find the slides and the exercises for the course | 3 | Here you can find the slides and the exercises for the course |
| 4 | "Elementary Logic" (University of Luxembourg, PrepCamp 2020). | 4 | "Elementary Logic" (University of Luxembourg, PrepCamp 2020). |
| 5 | 5 | ||
| 6 | For the slides, go in the ``slides'' folder and look for the file | 6 | For the slides, go in the ``slides`` folder and look for the file |
| 7 | ``preplogic-slides.pdf''. | 7 | ``preplogic-slides.pdf''. |
| 8 | 8 | ||
| 9 | For the exercises, go in the ``exercises'' folder and look for the file | 9 | For the exercises, go in the ``exercises'' folder and look for the file |
