Stream: User interfaces devs & users

Topic: coq-lsp 0.1.9

view this post on Zulip Emilio Jesús Gallego Arias (May 31 2024 at 15:15):

Hi folks, coq-lsp 0.1.9 has been released, see the complete announcement at Discourse: https://coq.discourse.group/t/ann-coq-lsp-0-1-9/2311

view this post on Zulip Bas Spitters (Jun 01 2024 at 09:09):

What's the relation with vscoq again? I cannot readily find it here: https://coq.inria.fr/user-interfaces.html

view this post on Zulip Ali Caglayan (Jun 01 2024 at 21:06):

It's a seperate project from vscoq. It is an lsp server for Coq together with a vscode extension.

Last updated: Oct 13 2024 at 01:02 UTC