Home Plugins Configurations News

Plugins Configurations News

Julian/lean.nvim

neovim support for the Lean theorem prover

programming-languages-support awesome-neovim

last synced 13 hours ago

159 6 0

Sitemap

Trending Neovim Plugins Top Neovim Plugins New Neovim Plugins Trending Neovim Colorschemes Top Neovim Colorschemes New Neovim Colorschemes Awesome Neovim Configurations This Week in Neovim

Guides

How to automatically create a README for your Neovim config Showcase your Neovim plugins usage with a badge

Dotfyle