# SublimeText-Lean
[Lean](https://lean-lang.org/) support for [Sublime Text](https://www.sublimetext.com/)