Bas Spitters (Aug 09 2020 at 18:29): Bas Spitters (Aug 09 2020 at 18:29):Is vscode starting to replace coqide (on windows?)
Karl Palmskog (Aug 09 2020 at 18:40):without telemetry I don't think we will ever find out.
Michael Soegtrop (Aug 10 2020 at 11:09):Bas Spitters said:
Is vscode starting to replace coqide (on windows?)
It is usable but still needs a bit of work. "Starting to replace" is likely the right wording.
Last updated: Jan 30 2023 at 11:03 UTC