remove coq

init.lua

@@ -238,7 +238,6 @@ require('mason').setup()
 
 -- Ensure the servers above are installed
 local mason_lspconfig = require 'mason-lspconfig'
-local coq = require 'coq'
 
 mason_lspconfig.setup {
   ensure_installed = vim.tbl_keys(servers),

lua/plugin.lua

@@ -58,18 +58,6 @@ require('packer').startup({function(use)
     requires = { 'hrsh7th/cmp-nvim-lsp', 'L3MON4D3/LuaSnip', 'saadparwaiz1/cmp_luasnip' },
   }
 
-  -- coq Autocompletion
-  use {
-    'ms-jpq/coq_nvim',
-    branch = "coq",
-  }
-
-  use {
-    "ms-jpq/coq.artifacts",
-    branch = "artifacts",
-    requires = {'ms-jpq/coq_nvim'}
-  }
-
   use { -- Highlight, edit, and navigate code
     'nvim-treesitter/nvim-treesitter',
     run = function()