diff --git a/home/programs/vscode/default.nix b/home/programs/vscode/default.nix
index 938e37b..49bd815 100644
--- a/home/programs/vscode/default.nix
+++ b/home/programs/vscode/default.nix
@@ -337,6 +337,7 @@ in
       ms-vscode.test-adapter-converter
       visualstudioexptteam.vscodeintellicode
       tamasfe.even-better-toml
+      maximedenes.vscoq
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
       {
         name = "monokai-st3";