diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 18b2b0147..8427e2cf8 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -13,6 +13,10 @@
   ;;      sane `comment-line-break-function', so...
   comment-line-break-function nil)
 
+;; HACK: See #5823: indent detection is slow and inconclusive in coq-mode files,
+;;   and rarely helpful anyway, so I inhibit it.
+(add-to-list 'doom-detect-indentation-excluded-modes 'coq-mode)
+
 ;; We've replaced coq-mode abbrevs with yasnippet snippets (in the snippets
 ;; library included with Doom).
 (setq coq-mode-abbrev-table '())