Provides live syntax highlight for the Lean programming language