Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
.github		.github
quizes		quizes
res		res
testing_demo		testing_demo
.gitattributes		.gitattributes
Lecture1.md		Lecture1.md
Lecture2.md		Lecture2.md
Lecture3.md		Lecture3.md
Lecture4-5.md		Lecture4-5.md
Lecture6-7.md		Lecture6-7.md
README.md		README.md
Utilities.md		Utilities.md

Repository files navigation

prolog-lab

2022-2023