Lean Syntax Highlight
by tomaz1502
Provides live syntax highlight for the Lean programming language
Released February 27, 2024
4 versions
Download metrics
2,015 total downloads
2 today (0.1% of total)
21 daily record (Mar 10, 2024)
7 this week (-46.2% vs last week)
Version history
Download trends by version