feat: improved Lean logo

Author: foxyseta

languages.yaml

@@ -1566,20 +1566,15 @@ Kotlin:
 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}
+    {0}       ______
+    {0}|            |\              /|\       |
+    {0}|            | \            / | \      |
+    {0}|            |  \          /  |  \     |
+    {0}|      ______|   \________/   |   \    |
+    {0}|            |    \      /    |    \   |
+    {0}|            |     \    /     |     \  |
+    {0}|            |      \  /      |      \ |
+    {0}|____________|       \/       |       \|
   colors:
     ansi:
       - white