Lean Syntax Highlight
by tomaz1502
lean
syntaxhighlight
favorite
share
5
1,487
Install
Description

Provides live syntax highlight for the Lean programming language

Latest Version
0.0.3
10 months ago
Changelog
See all version on GitHub
README file from