Hi, I'm new to lean and have just installed lean3 and lean4 (will there be a name clash?) and this plugin on nvim 0.10
On running :checkhealth I got the following:
lean: require("lean.health").check()
WARNING vim.health.report_start() is deprecated, use vim.health.start() instead. :help |deprecated|
This feature will be removed in Nvim version 0.11
lean.nvim ~
ERROR Failed to run healthcheck for "lean" plugin. Exception:
...ig/nvim/pack/lean/start/plenary.nvim/lua/plenary/job.lua:106: lean: Executable not found
stack traceback:
...ig/nvim/pack/lean/start/plenary.nvim/lua/plenary/job.lua:106: in function 'new'
...config/nvim/pack/lean/start/lean.nvim/lua/lean/_util.lua:70: in function 'subprocess_check_output'
...onfig/nvim/pack/lean/start/lean.nvim/lua/lean/health.lua:11: in function 'check_lean_runnable'
...onfig/nvim/pack/lean/start/lean.nvim/lua/lean/health.lua:44: in function 'check'
[string "require("lean.health").check()"]:1: in main chunk
[C]: in function 'pcall'
/usr/share/nvim/runtime/lua/vim/health.lua:306: in function </usr/share/nvim/runtime/lua/vim/health.lua:271>
Hi, I'm new to lean and have just installed lean3 and lean4 (will there be a name clash?) and this plugin on nvim 0.10
On running :checkhealth I got the following:
lean: require("lean.health").check()
lean.nvim ~