Isabelle/VSCode and the Language Server Protocol at Curry Club Augsburg

Here is the video for my presentation at Curry Club Augsburg (09-Aug-2018) about Isabelle/VSCode and the Language Server Protocol:

The PDF Slides (including important links) are also available.