diff --git a/modules/lang/coq/autoload.el b/modules/lang/coq/autoload.el
new file mode 100644
index 000000000..624185018
--- /dev/null
+++ b/modules/lang/coq/autoload.el
@@ -0,0 +1,4 @@
+;;; lang/coq/autoload.el -*- lexical-binding: t; -*-
+
+;;;###autoload
+(add-hook 'coq-mode-hook #'company-coq-mode)
diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
deleted file mode 100644
index ea8974723..000000000
--- a/modules/lang/coq/config.el
+++ /dev/null
@@ -1,5 +0,0 @@
-;;; lang/coq/config.el -*- lexical-binding: t; -*-
-
-(def-package! proof-site
-  :mode ("\\.v\\'" . coq-mode)
-  :hook (coq-mode . company-coq-mode))