27 August 2019, 11.00, LSV library: Vscode extension for lambdapi based on LSP, Houda Mouzoun (M1 intern, ENSEEIHT).

Vscode interacts with different programming languages compilers using LSP. LSP standardizes the protocol for how such servers and code editors communicate, this makes implementing language support for M languages in N code editors with a minimal effort. I will present my work on developing a vscode extension that communicates with lambdapi server in order to improve proofs development by displaying goals and using LSP features like go to definition, hover symbol information, syntax coloring ....