What (maximum) version of LSP does Lean4 support?

Stream: lean4

[Daniel Donnelly]

Searching for this brought up nothing. Here is a list of the LSP versions / descriptions:

https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/

So, what LSP version should my code target if I'm writing a standalone IDE for Lean4?

I'm guessing maybe support the latest current (or even 3.18), so that when Lean4 evolves, the IDE will "just work immediately".

[Daniel Donnelly]

Nvm, did a search on github. Found it here:

https://github.com/search?q=repo%3Aleanprover%2Fvscode-lean4+3.17&type=code

It's 3.17