vim.g.coq_settings = {auto_start = true, clients = {tabnine = {enabled = true}}}
vim.cmd('COQnow -s')