feat: Add ob-lean4 for literate programming with org/lean4

Maverobot · Dec 28, 2023 · 75694ba · 75694ba
1 parent f703c8a
commit 75694ba
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git 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
diff --git 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