lean.nvim
Neovim support for the Lean theorem proverprogramming-languages-support
awesome-neovim
Media
Developers using lean.nvim
more configs
Julian/dotfiles
50
init.lua
24
3081
reo101/reovim
24
init.lua
98
14642
qwjyh/dotfiles
6
init.lua
23
1460
fecet/nvim
2
init.lua
83
8697
Other programming-languages-support plugins
more plugins
akinsho/flutter-tools.nvim
Tools to help create flutter apps in neovim using the native lsp
1055
0
programming-languages-support
dmmulroy/tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
404
1
programming-languages-support
quarto-dev/quarto-nvim
Quarto mode for Neovim
355
0
programming-languages-support