lsp/vsrocq.lua


1
2
3
4
5
6
7
8
9
10

---@brief
---
--- https://github.com/rocq-prover/vsrocq

---@type vim.lsp.Config
return {
  cmd = { 'vsrocqtop' },
  filetypes = { 'coq' },
  root_markers = { '_RocqProject', '_CoqProject', '.git' },
}