plugins.lean.lsp3
Legacy Lean3 LSP settings.
Type: null or (attribute set)
Default:
null
Plugin default: { }
Declared by:
plugins.lean.lsp3.enable
Whether to enable the legacy Lean 3 language server ?
Set to false
to disable, otherwise should be a table of options to pass to
lean3ls
.
See https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#lean3ls
for details.
Type: null or boolean or raw lua code
Default:
null
Plugin default: true
Declared by:
plugins.lean.lsp3.on_attach
The LSP handler.
Type: null or string
Default:
null
Declared by: