Stream: Coq users

Topic: VSCoq not working


view this post on Zulip Kevin Tran (Jun 26 2020 at 13:55):

I get the message "coqtop is not running". I am using NixOS and have installed the extension using home-manager, as one of the extensions in my list of extensions for programs.vscode.extensions.

view this post on Zulip Maxime Dénès (Jun 26 2020 at 15:37):

What version of Coq and VsCoq do you have?

view this post on Zulip Kevin Tran (Jun 27 2020 at 03:53):

I am using Coq 8.9.1 and VSCoq 0.3.1


Last updated: Jan 31 2023 at 12:01 UTC