lean.nvim
Neovim support for the Lean theorem proverprogramming-languages-support
awesome-neovim
Media
Developers using lean.nvim
more configs
Julian/dotfiles
56
init.lua
26
3221
reo101/reovim
26
init.lua
103
15348
qwjyh/dotfiles
6
init.lua
24
1534
satler-git/dotfiles
4
init.lua
68
2076
Other programming-languages-support plugins
more plugins
chomosuke/typst-preview.nvim
Low latency typst preview for Neovim
506
0
programming-languages-support
akinsho/flutter-tools.nvim
Tools to help create flutter apps in neovim using the native lsp
1279
1
programming-languages-support
dmmulroy/tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
493
0
programming-languages-support