This repository has been archived by the owner on Feb 15, 2023. It is now read-only.

samdsk / lab-logica Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Esercizi del laboratorio di Logica Dati @ Unimi informatica

GPL-3.0 license

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 52 Commits
Esami		Esami
es_1		es_1
es_2		es_2
lab_10		lab_10
lab_11		lab_11
lab_2		lab_2
lab_3		lab_3
lab_4		lab_4
lab_5		lab_5
lab_6		lab_6
lab_7		lab_7
lab_8		lab_8
lab_9		lab_9
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

lab-logica

Esercizi del laboratorio di Logica Dati @ Unimi informatica

About

Esercizi del laboratorio di Logica Dati @ Unimi informatica

lab fitch logica unimi fitch-proofs tarski-s-world

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published