GitHub repository: knowsys/TheoLog
Primary language: TeX
Description: Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden