GitHub repository: meisterluk/gdi_doc
Primary language: TeX
Description: Lecture notes for the course “Foundations of Computer Science”