Till KTH:s startsida Till KTH:s startsida

Interactive Theorem Proving Course

Log in to your group web

You are not logged in KTH, so we cannot customize the content.

The Group web will be discontinued in autumn of 2026. As of November 10, it will no longer be possible to create new group webs.

Do you need a new collaboration space? Read more in this news article and explore your alternatives.

Open for PhD students and advanced master level students

Course code and description to be announced.

Administrators