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
Next date Fri., 08.12.2023 12:15 - 13:45, Room: (1005 N)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache englisch

Course location / Course dates

(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.