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