alt Hacker News>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,
Lol
Replies
adamnemecek • today at 3:16 AM
It makes complete sense to polish that usecase.
>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,
Lol
It makes complete sense to polish that usecase.
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.