diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index eeb919779..b91cb9efb 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,5 +1,9 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
 (after! company-coq
+  (set-lookup-handlers! 'company-coq-mode
+    :definition #'company-coq-jump-to-definition
+    :references #'company-coq-occur
+    :documentation #'company-coq-doc)
   (when (not (featurep! :completion company))
     (setq company-coq-disabled-features '(company company-defaults))))