|
|
|
Contact |
|
Courses
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2021/2022, Beste Übung
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2020/2021
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2019/2020
Publications
2022
-
An Improved Interface for Interactive Proofs in Separation Logic
October 2022 : L. König
Theses worked on
- An Interface for Separation Logic Proofs in Lean (finished), masters thesis