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.

Open for PhD students and advanced master level students

Course code and description to be announced.

Administrators