Merge pull request #10 from usaimic/main

Laboratorio deduzioni naturali
csunibo · Oct 26, 2023 · 34bb4c6 · 34bb4c6
2 parents e2dd431 + feade13
commit 34bb4c6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/esercizi/1-deduzioni-naturali-23-24/lab1/consegna.pdf b/esercizi/1-deduzioni-naturali-23-24/lab1/consegna.pdf
diff --git a/esercizi/1-deduzioni-naturali-23-24/lab1/esercizi.pdf b/esercizi/1-deduzioni-naturali-23-24/lab1/esercizi.pdf