GitHub repository: DanielMSchmidt/tgi
Primary language: TeX
Description: A script of the "Theoretische Grundlagen der Informatik" course at the CAU Kiel