From 4e7def8ba14ad7bcf2286fe4760d03b2ec9e3772 Mon Sep 17 00:00:00 2001
From: Ethan Girouard <ethan@girouard.com>
Date: Wed, 6 May 2026 09:29:37 -0400
Subject: [PATCH] Remove coq

---
 README.md  |  1 -
 config.nix | 11 -----------
 2 files changed, 12 deletions(-)

diff --git a/README.md b/README.md
index e523b01..a9cdc90 100644
--- a/README.md
+++ b/README.md
@@ -20,7 +20,6 @@ Color Scheme: [Tokyo Night](https://github.com/folke/tokyonight.nvim)<br>
 [neogit](https://github.com/NeogitOrg/neogit)<br>
 [gitsigns](https://github.com/lewis6991/gitsigns.nvim)<br>
 [tiny-inline-diagnostic](https://github.com/rachartier/tiny-inline-diagnostic.nvim)<br>
-[coq_nvim](https://github.com/ms-jpq/coq_nvim)<br>
 [nvim-autopairs](https://github.com/windwp/nvim-autopairs)<br>
 [Comment](https://github.com/numToStr/Comment.nvim)<br>
 [sleuth](https://github.com/tpope/vim-sleuth)<br>
diff --git a/config.nix b/config.nix
index 7f57238..b5be5a9 100644
--- a/config.nix
+++ b/config.nix
@@ -105,17 +105,6 @@
       };
     };
 
-    coq-nvim = {
-      enable = true;
-      installArtifacts = true;
-
-      luaConfig.post = ''
-        vim.g.coq_settings = {
-          keymap = { jump_to_mark = "" },
-        }
-      '';
-    };
-
     nvim-autopairs.enable = true;
     sleuth.enable = true;