diff --git a/udl-list.json b/udl-list.json
index 16a7c7e..f80231c 100644
--- a/udl-list.json
+++ b/udl-list.json
@@ -1332,6 +1332,15 @@
             "description": "LDIF",
             "author": "gambazinho <mailto:crazy2010@yahoo.com>"
         },
+        {
+            "id-name": "Lean_byJzPan",
+            "display-name": "Lean",
+            "version": "04 Oct 2024",
+            "repository": "",
+            "description": "Lean",
+            "author": "Jz Pan <https://github.com/acmepjz>",
+            "sample": "Lean_byJzPan.lean"
+        },
         {
             "id-name": "less-js_byAsiaSun",
             "display-name": "LESS.js",