Till KTH:s startsida Till KTH:s startsida

Interactive Theorem Proving Course

Logga in till din gruppwebb

Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.

Kom ihåg att gruppwebben som samarbetsyta stängs 1 oktober 2026. Du som administratör behöver nu exportera gruppens innehåll och/eller 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.