Provides a major mode for the Lean 3 programming language. Provides highlighting, diagnostics, goal visualization, and many other useful features for Lean users. See the README.md for more advanced features and the associated keybindings.