Automated Theorem Proving (ATP, WiSe 2026/27)
Lecture 2 hours, Blanchette; exercises 2 hours, Bozec and Desharnais-Schäfer.
For BSc students, the course is officially called Automated Theorem Proving for Bachelor.
Lecture 2 hours, Blanchette; exercises 2 hours, Bozec and Desharnais-Schäfer.
For BSc students, the course is officially called Automated Theorem Proving for Bachelor.