Lean Syntax Highlight
by tomaz1502
Provides live syntax highlight for the Lean programming language
Released February 27, 2024
4 versions
Download metrics
2,957 total downloads
30 today (1.0% of total)
69 daily record (Oct 6, 2026)
250 this week (+133.6% vs last week)
Version history
Download trends by version