Merge pull request #2151 from soonhokong/master

add support for Lean Theorem Prover
2025-10-29 17:50:22 +00:00 · 2015-02-24 14:34:59 -06:00
parent c7d8f39ad8 c2e894c48c
commit 2bd050657d
6 changed files with 158 additions and 0 deletions
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1591,6 +1591,13 @@ Latte:
  tm_scope: source.smarty
  ace_mode: smarty

+Lean:
+  type: programming
+  extensions:
+  - .lean
+  - .hlean
+  ace_mode: lean
+
 Less:
  type: markup
  group: CSS