diff --git a/languages.yaml b/languages.yaml
index 20af8533b..05e4ae8e3 100644
--- a/languages.yaml
+++ b/languages.yaml
@@ -1563,6 +1563,27 @@ Kotlin:
       - magenta
     chip: "#A97BFF"
   icon: '\u{E634}'
+Lean:
+  type: programming
+  ascii: |
+    {0}
+    {0}  L      EEEEEEEE A        A N        N
+    {0}  L             E A       AA NN       N
+    {0}  L             E AA      AA N N      N
+    {0}  L             E AA      A  N NN     N
+    {0}  L             E  AA     A  N  NN    N
+    {0}  L      EEEEEEEE  AAAAAAAA  N   N    N
+    {0}  L             E   AAAAAA   N    N   N
+    {0}  L             E   AA  AA   N     N  N
+    {0}  L             E    A  A    N     NN N
+    {0}  L             E    AAAA    N      NNN
+    {0}  L             E     AA     N       NN
+    {0}  LLLLLL EEEEEEEE      A     N        N
+    {0}
+  colors:
+    ansi:
+      - white
+    chip: "#FFFFFF"
 Lisp:
   type: programming
   ascii: |