Das „Theorembeweiserpraktikum“ findet im Sommersemester 2017 nicht statt - voraussichtlich erst im Sommersemester 2018 wieder.