diff --git a/.gitmodules b/.gitmodules
index 051f2633..1bc0ba60 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -28,3 +28,6 @@
 [submodule "modules/prompt/external/powerlevel9k"]
 	path = modules/prompt/external/powerlevel9k
 	url = https://github.com/bhilburn/powerlevel9k.git
+[submodule "modules/prompt/external/lean"]
+	path = modules/prompt/external/lean
+	url = https://github.com/miekg/lean.git
diff --git a/modules/prompt/external/lean b/modules/prompt/external/lean
new file mode 160000
index 00000000..57cca1a9
--- /dev/null
+++ b/modules/prompt/external/lean
@@ -0,0 +1 @@
+Subproject commit 57cca1a9deb7d738d421434f5f12a63b6ae15194
diff --git a/modules/prompt/functions/prompt_lean_setup b/modules/prompt/functions/prompt_lean_setup
new file mode 120000
index 00000000..3babf60e
--- /dev/null
+++ b/modules/prompt/functions/prompt_lean_setup
@@ -0,0 +1 @@
+../external/lean/prompt_lean_setup
\ No newline at end of file