精益 neovim支持。 先决条件 lean.nvim当前需要。 为了突出显示语法和支持基本语言,您应该: 安装普通的 。 或通过安装尝试通过 提供的实验支持 请注意,尚未实现许多简单的语法功能(当然欢迎您提供帮助),并且“ tree-sitter-lean仅适用于“ 4”。 安装 通过您最喜欢的插件管理器进行安装。 例如,通过以下方式使用 : Plug ' Julian/lean.nvim ' Plug ' hrsh7th/nvim-compe ' Plug ' leanprover/lean.vim ' Plug ' neovim/nvim-lspconfig ' 对于精益3中的LSP支持,您还首先需要安装lean-language-server ,这可以通过例如以下方式完成: $ npm install -g lean-language-server 将来,可能会添加