diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index eebd75636..7487ee9f2 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -6,6 +6,8 @@
 (setq coq-mode-abbrev-table '())
 
 (after! company-coq
+  (set-popup-rules!
+    '(("^\\*\\(response\\|goals\\)\\*" :ignore t)))
   (set-lookup-handlers! 'company-coq-mode
     :definition #'company-coq-jump-to-definition
     :references #'company-coq-grep-symbol