Comment by heliumtera 5 hours ago >The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,Lol 2 comments heliumtera Reply jinwoo68 3 hours ago There are community-built editor supports. For example,- Emacs: https://github.com/leanprover-community/lean4-mode- Neovim: https://github.com/Julian/lean.nvimI'm using the Emacs lean4-mode and it's pretty good. adamnemecek 3 hours ago It makes complete sense to polish that usecase.
jinwoo68 3 hours ago There are community-built editor supports. For example,- Emacs: https://github.com/leanprover-community/lean4-mode- Neovim: https://github.com/Julian/lean.nvimI'm using the Emacs lean4-mode and it's pretty good.
There are community-built editor supports. For example,
- Emacs: https://github.com/leanprover-community/lean4-mode
- Neovim: https://github.com/Julian/lean.nvim
I'm using the Emacs lean4-mode and it's pretty good.
It makes complete sense to polish that usecase.