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

General information

Course name Exercises: Übung zu Isabelle-Lab
Course number INF-0432
Semester WS 2023/24
Current number of participants 4
Home institute Theorie verteilter und paralleler Systeme
participating institutes Institut für Informatik
Courses type Exercises in category Teaching
First date Friday, 27.10.2023 12:15 - 13:45, Room: (1005 N)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache englisch

Rooms and times

(1005 N)
Friday: 12:15 - 13:45, weekly (14x)

Module assignments


An introduction to interactive theorem proving with Isabelle/HOL. Supervised practical sessions to work on the project tasks. Informations to the lecture can be found in the main course.