Bleksak / neovim
plugin manager unknown
plugins 5
root
init file init.lua
lines of code 16232
monorepo no
fork no
leaderkey Space
Plugins
Julian/lean.nvim
Neovim support for the Lean theorem prover 530 0 programming-languages-support