lean.nvim
Neovim support for the Lean theorem proverprogramming-languages-support
awesome-neovim
Media
Developers using lean.nvim
more configs
50
init.lua
22
3042
25
init.lua
102
15324
6
init.lua
23
1460
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
1201
0
programming-languages-support
dmmulroy/tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
467
0
programming-languages-support
nvim-java/nvim-java
Painless Java in Neovim
1225
0
programming-languages-support