Vim

For Vim 9 with the yegappan/lsp plugin, a minimal configuration to use lspleank is:

vim9script

call LspAddServer([{
    filetype: 'lean',
    path: 'lspleank',
    args: ['lake'],
}])

For more documentation, visit vim.castedo.com.

Tip

To use the experimental Webleank, replace path: 'lspleank', args: ['lake'] with path: 'webleank', args: ['connect'].