config.nvim/lua/plugins/coq.lua

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