Skip to content

test: LSP server verso tests#699

Merged
ejgallego merged 1 commit intoleanprover:mainfrom
ejgallego:test_lsp
Feb 3, 2026
Merged

test: LSP server verso tests#699
ejgallego merged 1 commit intoleanprover:mainfrom
ejgallego:test_lsp

Commits

Commits on Jan 30, 2026