en | de

Interactive Theorem Proving

master program

VO2 + PS3  SS 2019  703640 + 703641

News

2019-04-11 – OLAT Forum for Discussions
There is now a forum on the accompanying OLAT page of this course. It is intended for questions and discussions concerning the assigned projects.
2019-04-03 – Project Assignment Postponed
The assignment of students into groups and of groups to projects (originally announced for today) is postponed by one week to April 10, 2019.
2019-03-20 – Tentative List of Projects
A tentative list of available projects is online.