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
278
0
programming-languages-support