nvim-lspconfig/lsp/vsrocq.lua
2025-11-16 09:34:39 -08:00

11 lines
202 B
Lua

---@brief
---
--- https://github.com/rocq-prover/vsrocq
---@type vim.lsp.Config
return {
cmd = { 'vsrocqtop' },
filetypes = { 'coq' },
root_markers = { '_RocqProject', '_CoqProject', '.git' },
}