Stream: User interfaces devs & users

Topic: coq-lsp 0.1.5

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2023 at 21:33):

Hi folks, coq-lsp 0.1.5 has been released, see a more detailed announcement at Discourse: https://coq.discourse.group/t/ann-coq-lsp-release-0-1-5/1890

Last updated: Oct 13 2024 at 01:02 UTC