diff --git a/.gitmodules b/.gitmodules
index 9ac42d9..f2bee87 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "modules/prompt/external-themes/liquidprompt"]
 	path = modules/prompt/external-themes/liquidprompt
 	url = https://github.com/nojhan/liquidprompt.git
+[submodule "modules/prompt/external-themes/lean"]
+	path = modules/prompt/external-themes/lean
+	url = https://github.com/miekg/lean
diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
new file mode 160000
index 0000000..0ccf0c3
--- /dev/null
+++ b/modules/prompt/external-themes/lean
@@ -0,0 +1 @@
+Subproject commit 0ccf0c34ac23fe86a69f78a960d5b340b0f4c880
diff --git a/modules/prompt/functions/prompt_lean_setup b/modules/prompt/functions/prompt_lean_setup
new file mode 120000
index 0000000..13294d9
--- /dev/null
+++ b/modules/prompt/functions/prompt_lean_setup
@@ -0,0 +1 @@
+../external-themes/lean/prompt_lean_setup
\ No newline at end of file