Stream: Coq Platform devs & users

Topic: CoqIDE


view this post on Zulip Bas Spitters (Aug 09 2020 at 18:29):

Is vscode starting to replace coqide (on windows?)

view this post on Zulip Karl Palmskog (Aug 09 2020 at 18:40):

without telemetry I don't think we will ever find out.

view this post on Zulip 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