Winter Term 2025/26
Theorem Prover Lab Course
| Event Type: | Praktikum |
|---|---|
| Target Group: | Master Computer Science |
| Scope: | 3 ECTS |
| Events: | Tbd. |
| Lecturers: |
Content
The first half of this course will be an introduction to Isabelle/HOL:
- its logic
- principles of proving: simplication, recursion, inductive definitions & proofs
(more details to follow)
Topics:
Half of the course will be spent on a project. Topics will be agreed on with the organisers after the first half of the course.