Lecture: Isabelle-Lab - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course name Lecture: Isabelle-Lab
Course number INF-0432
Semester WS 2023/24
Current number of participants 6
Home institute Theorie verteilter und paralleler Systeme
participating institutes Institut für Informatik
Courses type Lecture in category Teaching
Next date Tue., 05.12.2023 08:30 - 11:30, Room: (1005 N)
Type/Form Projekt
Pre-requisites Empfohlen: Einführung in die Theoretische Informatik
Performance record praktisches Projekt in Isabelle/HOL
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache englisch
Literaturhinweise https://isabelle.in.tum.de/documentation.html
ECTS points 8

Course location / Course dates

(1005 N) Tuesday: 08:30 - 11:30, weekly (15x)

Module assignments


Praktische Einführung in das interaktive Beweisen von Theoremen mit dem Beweiser Isabelle/HOL.
An introduction to interactive theorem proving with Isabelle/HOL. Consists of a lecture with exercises and practical session (see separate course) to work on the project task with supervision.