Isabelle/VSCode, Language Server Protocol und TypeScript

Makarius hält einen Vortrag über Isabelle/VSCode, Language Server Protocol und TypeScript:

Als Fortsetzung der Betrachtungen zur Isabelle Prover IDE geht es diesmal um VSCode und das Language Server Protocol für generische IDEs von MicroSoft. Dies ist eine Selbst-Anwendung von VSCode als Entwicklungsplattform für TypeScript — einer relativ neuen typisierten Erweiterung von JavaScript. VSCode ist letztlich eine IDE zur Entwicklung von VSCode in TypeScript, so ähnlich wie Isabelle eine IDE zur Entwicklung von Isabelle in ML (oder anderen domain-specific formal languages) ist.

https://sketis.net/wp-content/uploads/2018/08/Curry-Club_Aug-2018.pdf