Lean Syntax Highlight
by tomaz1502
Provides live syntax highlight for the Lean programming language
Released February 27, 2024
4 versions
Download metrics
2,383 total downloads
0 today (0.0% of total)
35 daily record (Jul 5, 2026)
41 this week (+720.0% vs last week)
Version history
Download trends by version