Description
Besides VSCode, Lean 4 is also supported by Neovim (link), and Emacs (link) text editors.
To implement support for Paperproof in a new text editor, you would need to rewrite code in the /extension folder.
Skills Required
- experience with LSP, or experience creating text editor extensions (nice to have)
- Lua (if you want to write the extension for Neovim)
- Lisp (if you want to write the extension for Emacs)
Note: we actively welcome contributors to this issue, and we should be able to help you out if you decide to take it up.
Description
Besides VSCode, Lean 4 is also supported by Neovim (link), and Emacs (link) text editors.
To implement support for Paperproof in a new text editor, you would need to rewrite code in the
/extensionfolder.Skills Required
Note: we actively welcome contributors to this issue, and we should be able to help you out if you decide to take it up.