See the file lp-lsp/README.md for more details.
The emacs mode can be optionally installed using make install_emacs in the
lambdapi repository. Support for the LSP server is enabled by default, but
it requires the eglot plugin to be installed.
See the file lp-lsp/README.md for more details.
The Vim mode can be installed similarly using the command make install_vim
in the lambdapi repository. It does not have support for the LSP server.
Support for the Atom editor exists but is deprecated.
See atom-dedukti for instructions
related to the Atom editor.