Add Lean4 alias (#7592)

Nixinova · web-flow · commit 1d913bbdff8e · 2025-09-20T11:59:08.000Z
Add alias for Lean 4
diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
@@ -4013,6 +4013,8 @@ Lean:
 Lean 4:
   type: programming
   group: Lean
+  aliases:
+  - lean4
   extensions:
   - ".lean"
   tm_scope: source.lean4
