文件名称：lean.nvim:neovim对精益定理证明者的支持
文件大小：31KB
文件格式：ZIP
更新时间：2024-04-28 01:15:31
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)