From 7dee7bd275728d0d0f3a2e74ced7ac81f7008512 Mon Sep 17 00:00:00 2001
From: Zheng Qu <quzhengrobot@gmail.com>
Date: Wed, 27 Dec 2023 20:27:43 +0100
Subject: [PATCH] feat: Add `ob-lean4` for literate programming with org/lean4

---
 .gitmodules      | 3 +++
 private/ob-lean4 | 1 +
 spacemacs.org    | 6 ++++++
 3 files changed, 10 insertions(+)
 create mode 160000 private/ob-lean4

diff --git a/.gitmodules b/.gitmodules
index 412bd4e..a212e60 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -37,3 +37,6 @@
 [submodule "private/whisper.el"]
 	path = private/whisper.el
 	url = https://github.com/natrys/whisper.el
+[submodule "private/ob-lean4"]
+	path = private/ob-lean4
+	url = https://github.com/Maverobot/ob-lean4.git
diff --git a/private/ob-lean4 b/private/ob-lean4
new file mode 160000
index 0000000..034e4ec
--- /dev/null
+++ b/private/ob-lean4
@@ -0,0 +1 @@
+Subproject commit 034e4ec44672305935897c69351479e9210ef90a
diff --git a/spacemacs.org b/spacemacs.org
index bf5d9cd..6f33015 100644
--- a/spacemacs.org
+++ b/spacemacs.org
@@ -521,6 +521,12 @@ E.g. when visiting a soft/hard link.
       (message "No active region is found.")))
   (spacemacs/set-leader-keys-for-major-mode 'org-mode "RR" 'replace-markdown-region-with-org)
 #+END_SRC
+*** ob-lean4
+#+BEGIN_SRC emacs-lisp :tangle user-config.el
+  (use-package ob-lean4
+    :load-path "~/.spacemacs.d/private/ob-lean4")
+  (add-to-list 'org-babel-load-languages '(lean4 . t))
+#+END_SRC
 
 ** Utility
 *** beacon mode