lean.nvim

Neovim support for the Lean theorem prover

MIT License

Stars
263
Committers
24
View Code on GitHub
Ecosystems: Neovim, Tree-sitter

No README available, please check again later.

Package Rankings
Top 6.64% on Proxy.golang.org
Related Projects
nvimdots

A well configured and structured Neovim.

19 Jun 2021 2,910
ts-install.nvim

Treesitter parser manager for Neovim

09 Aug 2024 12
erudite-vim

A neovim config for the curious.

18 Mar 2021 33
cmp-rg

ripgrep source for nvim-cmp

26 Oct 2021 280
nvimfiles

Awesome NeoVim files for Go and Javascript development

10 Feb 2013 22
nvim-treesitter-endwise

Wisely add "end" in Ruby, Vimscript, Lua, etc. Tree-sitter aware alternative to tpope's vim-endwise

11 Dec 2021 334
nvimdev.nvim

Neovim plugin for working on Neovim

03 Feb 2017 75
nvim

NeoVim personal configuration

23 Oct 2021 2
scm-edit.nvim

Simple tree-sitter navigation and editing plugin for scheme

27 Feb 2024 2
learn-neovim-lua

Neovim 配置实战：从 0 到 1 打造自己的 IDE

02 Nov 2021 1,206
neovim

My neovim config

08 Aug 2024 0
nvim-config

my neovim config for .NET development

30 Jul 2024 0
webc.nvim

WebC Support for NeoVim

23 Apr 2023 10
LazyVim

Neovim config for the lazy

30 Dec 2022 13,582
Neovim

📝 My Neovim Config

04 Feb 2022 6