Draft: [lsp] proof tree in vscode

Loïc Corrensonrequested to merge
feature/lsp/proof-tree into master

🚧 Based on !154 (merged) 🚧

Provides Proof Tree Navigation in VSCode.

Edited by Loïc Correnson

Merge request reports