Project: Integrate Paperproof with Neovim/Emacs

[lakesare]

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.