diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 2997369b8..518c08d9d 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,5 +1,8 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
+(after! coq
+  (setq proof-electric-terminator-enable t))
+
 (after! company-coq
   (set-lookup-handlers! 'company-coq-mode
     :definition #'company-coq-jump-to-definition