freakyblue / theolog Goto Github PK
View Code? Open in Web Editor NEWThis project forked from knowsys/theolog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Home Page: https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)