vim syntax support for Lean

This plugins provides basic syntax highlighting for Lean files.

Installation using vim-plug:

Plug 'leanprover/lean.vim'

Auto-completion and error highlighting

You can even get auto-completion and error highlighting using separate plugins that implement the Language Server Protocol. First, install the Lean language server implementation.

$ npm install -g lean-language-server

An example setup using coc.nvim is here.