Courses
Proof Theory and Sequent Systems (TUD, Winter Semester 2025)
Details for the course can be found at the following link: [Course Details]
The course script can be downloaded at the following link: [Script]
Proof Theory and Sequent Systems (TUD, Summer Semester 2024)
Details for the course can be found at the following link: [Course Details]
The course script can be downloaded at the following link: [Script]
Templates
Master's Thesis Template (Fakultät Informatik, Technische Universität Dresden) [Download]
Project Template (Technische Universität Dresden) [Download]