diff --git a/modules/programs/nvim/plugins/default.nix b/modules/programs/nvim/plugins/default.nix
index 75634da..f0119bf 100644
--- a/modules/programs/nvim/plugins/default.nix
+++ b/modules/programs/nvim/plugins/default.nix
@@ -236,7 +236,7 @@ with builtins;
     }
     {
       plugin = coq_nvim;
-      lazy = false;
+      event = [ "BufReadPost" "BufNewFile" ];
       init = builtins.readFile ./coq-nvim.lua;
       dependencies = [
         {