Disable Coq

.vimrc

@@ -70,9 +70,9 @@ if has('nvim')
     "Plug 'ms-jpq/chadtree', {'branch': 'chad', 'do': 'python3 -m chadtree deps'}" ChadTree alternative
     " Coq
     " main one, might need :COQdeps to be run at install
-    Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
+    "Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
     " 9000+ Snippets
-    Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
+    "Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
     " Neovim GDB/LLDB integration
     Plug 'sakhnik/nvim-gdb', { 'do': ':!./install.sh' }
 endif