Diese Woche wird es eine kurze Präsentation über Isabelle/HOL geben.
Ich werde zeigen wie man mit dem Theorembeweiser Isabelle/HOL die Korrektheit funktionaler Programme beweisen kann.
Es ist jeder herzlich eingeladen, der sich für funktionale Programmierung oder formale Verifikation interessiert, oder einfach so zuhören will.