工具libraryLua

lean.nvim

Neovim support for the Lean theorem prover

510 stars48 forks38 issuesMIT更新于 2026/4/23

leanlean4leanproverneovimneovim-pluginnvimnvim-treesittertree-sitter

暂无详细内容

同类推荐

A markdown parser and compiler. Built for speed.

Windows Calculator: A simple yet powerful calculator that ships with Windows

A launch point for your personal nvim configuration

A set of best practices for JavaScript projects

Neovim config for the lazy

FASTJSON 2.0.x has been released, faster and more secure, recommend you upgrade.