require("coq")
vim.api.nvim_command("command COQ COQnow --shut-up")