This is an attempt at porting the default vim configuration for HOL4 into neovim, in particular for users of Lazy.nvim