Lean Syntax Highlight

by tomaz1502
Text Editing & Formatting

Provides live syntax highlight for the Lean programming language

Released February 27, 2024
4 versions

Download metrics

1,818 total downloads
2 today (0.1% of total)
21 daily record (Mar 10, 2024)
15 this week (+25.0% vs last week)

Version history

Download trends by version