diff --git a/.gitmodules b/.gitmodules
index 09ccaed3..e5122a00 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -207,3 +207,6 @@
 	path = assets/themes/gruvbox
 	url = https://github.com/subnut/gruvbox-tmTheme.git
 	branch = bat-source
+[submodule "assets/syntaxes/02_Extra/Lean"]
+	path = assets/syntaxes/02_Extra/Lean
+	url = https://github.com/leanprover/vscode-lean.git
diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean
new file mode 160000
index 00000000..7e99440b
--- /dev/null
+++ b/assets/syntaxes/02_Extra/Lean
@@ -0,0 +1 @@
+Subproject commit 7e99440b33c834b11deda67144a6a7ce5a666f0e