Stream: User interfaces devs & users

Topic: coq-lsp 0.1.8

view this post on Zulip Emilio Jesús Gallego Arias (Nov 14 2023 at 16:26):

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

Last updated: Oct 13 2024 at 01:02 UTC