Notes for Programming in Logic course at the Jagiellonian University
No issues in this repository yet.