[emacs] assimilate Proof General (for Coq)

1 files changed, 7 insertions, 0 deletions

diff --git a/init.org b/init.org
index bcccd39..0a61745 100644
--- a/init.org
+++ b/init.org
@@ -1091,6 +1091,13 @@ TODO: break this giant source block down into individual org sections.
   :config (setq alloy-basic-offset 2))
 #+end_src
 
+** Coq
+
+#+begin_src emacs-lisp
+(use-package proof-site  ; Proof General
+  :load-path "lib/proof-site/generic/")
+#+end_src
+
 ** [[https://github.com/leanprover/lean-mode][Lean]]
 
 #+begin_src emacs-lisp