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

2,035 total downloads
1 today (0.0% of total)
21 daily record (Mar 10, 2024)
8 this week (-33.3% vs last week)

Version history

Download trends by version