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.

Från och med den 10 november 2025 upphör möjligheten att skapa nya Gruppwebbar. Gruppwebben kommer tas bort under 2026.

Läs mer här och hitta alternativ

Open for PhD students and advanced master level students

Course code and description to be announced.

Administratörer