This topic was moved by Théo Zimmermann to #Coq devs & plugin devs > LSP server status?
Last updated: Apr 17 2024 at 21:01 UTC