Hi, I was wondering about the status of the lsp project. I couldn't find much besides the project in coq's github and the discourse post. Is it still going? How can one contribute, etc? Is there somewhere else with more discussion on the topic (e.g. gitter?)?
This sounds like more of a topic for this stream: https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs
See for example https://github.com/gares/vscoq-language-server
See also https://github.com/coq-community/vscoq/pull/140. I think this is where the latest developments are located.
Karl Palmskog said:
This sounds like more of a topic for this stream: https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs
See for example https://github.com/gares/vscoq-language-server
Can I move it there or someone else with more powers ? :o
ty btw :+1:
This topic was moved here from #coq-community devs & users > LSP server status? by Théo Zimmermann
@Maxime Dénès just started rebasing the vscoq-lang-server repo and integrating it inside a vscoq branch.
help is welcome, if you have time we can have a video chat maybe
Last updated: Dec 05 2023 at 11:01 UTC