Isabelle/jEdit as Formal IDE at Curry Club Augsburg

On Thu 14-Jun-2018 I will talk about Isabelle/jEdit as Formal IDE at Curry Club Augsburg.

Start: approximately 19:00.
Duration: undefined.
Language of the talk: German
Slides: PDF

This is a spin-off from the paper that I will present at the F-IDE workshop on Sat 14-Jul-2018 in Oxford.