From c4de52cb95e997a35595a191370587da22b9987d Mon Sep 17 00:00:00 2001
From: Panadestein <rpana92@gmail.com>
Date: Tue, 5 Nov 2024 13:56:05 +0100
Subject: [PATCH] feat: add Lean 4 support.

---
 content/index.org | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/content/index.org b/content/index.org
index e983a09..429c682 100755
--- a/content/index.org
+++ b/content/index.org
@@ -1651,6 +1651,20 @@ Point free or die. Stack based, array oriented, general purpose programming lang
     :mode "\\.ua\\'")  
 #+end_src
 
+** Theorem provers
+
+For now, this is only Lean:
+
+#+begin_src emacs-lisp
+  (use-package lean4-mode
+    :straight (lean4-mode
+  	     :type git
+  	     :host github
+  	     :repo "leanprover/lean4-mode"
+  	     :files ("*.el" "data"))
+    :commands (lean4-mode))
+#+end_src
+
 ** My Emacs Lisp packages
 
 Here I plan to add small packages I write from time to time, mainly for non-trivial editing