plugins.lean.lsp3

Legacy Lean3 LSP settings.

Plugin default: {}

Type: null or (attribute set)

Default: null

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.

Plugin default: true

Type: null or boolean or raw lua code

Default: null

Declared by:

plugins.lean.lsp3.on_attach

The LSP handler.

Type: null or string

Default: null

Declared by: