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.

Gruppwebben som samarbetsyta stängs 1 oktober 2026. Då upphör redigeringsmöjligheterna. Du som administratör kan redan nu välja att exportera gruppens innehåll och radera gruppen.

Mer information och instruktioner hittar du i nyheten: Gruppwebben som samarbetsyta stängs 1 oktober 2026.

Open for PhD students and advanced master level students

Course code and description to be announced.

Administrators