Julian/lean.nvim

lean.nvim

✅ 近期有维护

Neovim support for the Lean theorem prover

615Stars

63Forks

+4近 7 天 Star

Lua · MIT · 最近推送 2026-10-27

官方仓库与安装文档 ↗

leanprover neovim neovim-plugin lean nvim-treesitter tree-sitter nvim lean4

Star 历史

2025-09-292026-11-02

查看历史数据

日期	Stars
2026-10-04	597
2026-10-05	598
2026-10-06	599
2026-10-07	600
2026-10-08	602
2026-10-09	603
2026-10-10	604
2026-10-11	605
2026-10-12	605
2026-10-13	605
2026-10-14	605
2026-10-15	606
2026-10-16	606
2026-10-17	607
2026-10-18	608
2026-10-19	608
2026-10-20	608
2026-10-21	608
2026-10-22	608
2026-10-23	608
2026-10-24	609
2026-10-25	611
2026-10-26	611
2026-10-27	611
2026-10-28	611
2026-10-29	613
2026-10-30	614
2026-10-31	615
2026-11-01	615
2026-11-02	615

获取项目

git clone https://github.com/Julian/lean.nvim.git

相关项目与平替候选

同领域不等于功能完全相同，选型前请核对官方文档和许可证。

专注于极致可扩展性与现代开发体验的Vim重构版编辑器，原生内置LSP语言服务客户端、Tree-sitter语法树与Lua一等公民插件体系。

★ 103,301 fzf

Go语言编写的通用命令行模糊搜索工具，可无缝接入终端历史、文件路径、代码提交与编辑器实现秒级过滤。

★ 83,919 public-apis

社区维护的免费 API 集合，按类别整理，找开发资源时可直接查用。