Skip to content

Draft: [lsp] proof tree in vscode

Loïc Correnson requested 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