【文件属性】：
文件名称：lean.nvim:neovim对精益定理证明者的支持
文件大小：31KB
文件格式：ZIP
更新时间：2021-04-08 07:28:51
tree-sitter neovim lean neovim-plugin leanprover
精益
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
将来，可能会添加
【文件预览】：
lean.nvim-main
----README.rst(6KB)
----.luacheckrc(89B)
----package.json(134B)
----.github()
--------workflows()
----ftplugin()
--------lean()
----vscode-lean()
--------LICENSE(10KB)
--------abbreviations.json(34KB)
----snippets()
--------lean.json(272B)
----queries()
--------lean()
----lua()
--------tests()
--------lean()
----.gitignore(10B)
----Makefile(244B)
----scripts()
--------minimal_init.lua(509B)
----COPYING(1KB)
----.pre-commit-config.yaml(337B)