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.

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.

Administratörer