MAT - Mathematical Structures in Computer Science Materials Materials can be found here. Exams Exams can be found here. SMT Materials SMT (Seminar of Mathematical Structures) materials can be found here. Contributing Feel free to contribute via opening a pull request or an issue.