| ▲ | heliumtera 2 hours ago | |
>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension, Lol | ||
| ▲ | jinwoo68 23 minutes ago | parent | next [-] | |
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. | ||
| ▲ | adamnemecek 34 minutes ago | parent | prev [-] | |
It makes complete sense to polish that usecase. | ||