vim.g.coq_settings = {auto_start = true}
local coq = require('coq')
vim.cmd('COQnow')