8 ms·
>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension, Lol
by heliumtera 5mo ago
>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,
Lol
- adamnemecek 5mo agoIt makes complete sense to polish that usecase.
- jinwoo68 5mo agoThere are community-built editor supports. For example, - Emacs: https://github.com/leanprover-community/lean4-mode https://github.com/leanprover-community/lean4-mode - Neovim: https://github.com/Julian/lean.nvim https://github.com/Julian/lean.nvim I'm using the Emacs lean4-mode and it's pretty good.