How possible is it to create an Isabelle plugin for Neovim/Vim?

[Fabian Huch]

On 6/3/25 21:59, Humam Alhusaini via isabelle-dev wrote:
> I'd like to create a Neovim plugin
That already exists [1].
> there isn't much documentation on how to communicate with 
> Isabelle/PIDE, though I believe that the way to do it would be through XML

The important question here is the protocol; wire formats are easily 
interchangeable. We use LSP with PIDE extensions for such experiments.


Fabian


[1]: https://github.com/Treeniks/isabelle-lsp.nvim