diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 18:29:46 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 18:29:46 +0200 |
| commit | 92fe0e599cf079aea24fa75af8890fbc05bb078d (patch) | |
| tree | f11aa2e1ba25885090251bcfd33ccdb444309ae7 | |
| parent | f0e201749eff213a0d9a9d3d5be6352dbaa38e26 (diff) | |
| download | preplogic-92fe0e599cf079aea24fa75af8890fbc05bb078d.tar.gz preplogic-92fe0e599cf079aea24fa75af8890fbc05bb078d.zip | |
Updates, added README
| -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 |