多码网
返回 工具
工具libraryLua

lean.nvim

Neovim support for the Lean theorem prover

510 stars47 forks37 issuesMIT更新于 2026/4/21
GitHub 仓库
leanlean4leanproverneovimneovim-pluginnvimnvim-treesittertree-sitter
暂无详细内容

同类推荐

vim

The official Vim repository

40,253

marked

A markdown parser and compiler. Built for speed.

36,757

Trilium

Build your personal knowledge base with Trilium Notes

35,660

calculator

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

30,906

kickstart.nvim

A launch point for your personal nvim configuration

30,295

project-guidelines

A set of best practices for JavaScript projects

29,492