local lsp = require "lspconfig"
local coq = require "coq" -- add this