diff --git a/modules/lang/coq/autoload.el b/modules/lang/coq/autoload.el
index 624185018..390a3f94f 100644
--- a/modules/lang/coq/autoload.el
+++ b/modules/lang/coq/autoload.el
@@ -1,4 +1,5 @@
 ;;; lang/coq/autoload.el -*- lexical-binding: t; -*-
+;;;###if (featurep! :completion company)
 
 ;;;###autoload
 (add-hook 'coq-mode-hook #'company-coq-mode)
diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index 3ae652118..69d5299b5 100644
--- a/modules/lang/coq/packages.el
+++ b/modules/lang/coq/packages.el
@@ -3,4 +3,5 @@
 
 (package! proof-general :recipe (:fetcher github :repo "ProofGeneral/PG" :files ("*")))
 
-(package! company-coq)
+(when (featurep! :completion company)
+  (package! company-coq))