Neovim support for the Lean theorem prover
Treesitter based structural search and replace plugin for Neovim.
Describe the regexp under the cursor
Neovim config for the lazy
💤 A modern plugin manager for Neovim