Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Vscode : use latest version of vscode-languageclient and update dependant libraries #1055

Closed Alidra closed 7 months ago

Alidra commented 7 months ago

This PR updates the following dependencies :

Besides, it adds the building instructions of the Vscode extension to the Github pipeline.