preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

commit 92fe0e599cf079aea24fa75af8890fbc05bb078d
parent f0e201749eff213a0d9a9d3d5be6352dbaa38e26
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date:   Sun,  6 Sep 2020 18:29:46 +0200

Updates, added README

Diffstat:
MREADME.md | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md @@ -3,7 +3,7 @@ Here you can find the slides and the exercises for the course "Elementary Logic" (University of Luxembourg, PrepCamp 2020). -For the slides, go in the ``slides'' folder and look for the file +For the slides, go in the ``slides`` folder and look for the file ``preplogic-slides.pdf''. For the exercises, go in the ``exercises'' folder and look for the file