Repository of lab exercises and exams from "Logic for CS" subject (1st semester 2023)
Primary LanguagePrologGNU General Public License v3.0GPL-3.0