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.