Neovim configurations
Julian/dotfiles
/.config/nvim
47
init.lua
19
2857
Authored Neovim plugins
Julian has authored 1 Neovim plugins. Their plugins have a total of 10 installs across Dotfyle.
Julian/lean.nvim
neovim support for the Lean theorem prover
207
0
programming-languages-support