Neovim configurations
Julian/dotfiles 54 init.lua 26 3253
Authored Neovim plugins
Julian has authored 1 Neovim plugins. Their plugins have a total of 29 installs across Dotfyle.
Julian/lean.nvim
Neovim support for the Lean theorem prover 504 0 programming-languages-support