Neovim support for the Lean theorem prover
Describe the regexp under the cursor
Neovim config for the lazy
💤 A modern plugin manager for Neovim
Find, Filter, Preview, Pick. All lua, all the time.