Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,

Lol



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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: