lean.nvim
neovim support for the Lean theorem proverprogramming-languages-support
awesome-neovim
Media
Developers using lean.nvim
more configs
Julian/dotfiles
46
init.lua
19
2857
reo101/reovim
24
init.lua
91
13306
qwjyh/dotfiles
6
init.lua
21
1312
fecet/nvim
2
init.lua
79
8697
Other programming-languages-support plugins
more plugins
akinsho/flutter-tools.nvim
Tools to help create flutter apps in neovim using the native lsp
892
1
programming-languages-support
dmmulroy/tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
326
1
programming-languages-support
quarto-dev/quarto-nvim
Quarto mode for Neovim
280
0
programming-languages-support