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
22
3042
reo101/reovim
25
init.lua
102
15324
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
1103
0
programming-languages-support
dmmulroy/tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
424
0
programming-languages-support
nvim-java/nvim-java
Painless Java in Neovim
989
1
programming-languages-support