Stream: Coq users

Topic: Open Goal View


view this post on Zulip Davide Morelli (Mar 26 2024 at 13:57):

I am using VsCoq, and I am not able to open the view on the right to display goals. Any idea on how to do it?

view this post on Zulip Jerome Hugues (Mar 26 2024 at 17:51):

Davide Morelli said:

I am using VsCoq, and I am not able to open the view on the right to display goals. Any idea on how to do it?

It appears when you start stepping in a proof, unless there is an issue with starting coq backend, e.g. because you did not configure the path to the right binary.

view this post on Zulip Notification Bot (Mar 27 2024 at 06:47):

This topic was moved to #VsCoq devs & users > Open Goal View by Karl Palmskog.


Last updated: Jun 22 2024 at 16:02 UTC