Lean is a programming language recognized by GitHub Linguist and used with .lean, .hlean.
Quick facts
What is Lean
Lean is a programming language recognized by GitHub Linguist and used with .lean, .hlean.
GitHub Linguist classifies Lean as a programming language, typically using extensions such as .lean, .hlean.
File extensions:
Related languages
Frequently asked questions
Lean is a programming language recognized by GitHub Linguist and used with .lean, .hlean.
Common extensions include .lean, .hlean.
Sources & standards
Updated 2026-08-18
Explore this reference