1 files changed, 11 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml
index af15c654..2896dd32 100644
--- a/languages.toml
+++ b/languages.toml
@@ -242,6 +242,17 @@ comment-token = "%"
 indent = { tab-width = 4, unit = "\t" }
 
 [[language]]
+name = "lean"
+scope = "source.lean"
+injection-regex = "lean"
+file-types = ["lean"]
+roots = [ "lakefile.lean" ]
+comment-token = "--"
+language-server = { command = "lean", args = [ "--server" ] }
+
+indent = { tab-width = 2, unit = "  " }
+
+[[language]]
 name = "julia"
 scope = "source.julia"
 injection-regex = "julia"