lean.nvim
Neovim support for the Lean theorem proverprogramming-languages-support awesome-neovim
Media
Developers using lean.nvim
more configs
Julian/dotfiles 54 init.lua 26 3253
reo101/reovim 26 init.lua 103 15348
jiangyinzuo/vimrc 15 .vimrc 98 10972
serhez/nvim-config 8 init.lua 120 10903
Other programming-languages-support plugins
more plugins chomosuke/typst-preview.nvim
Low latency typst preview for Neovim 914 0 programming-languages-support
dmmulroy/tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
546 0 programming-languages-support
akinsho/flutter-tools.nvim
Tools to help create flutter apps in neovim using the native lsp
1391 0 programming-languages-support