Often times new users can be lost in how to navigate a file using manual mode, or other commands.
We should build a Coq command menu which will appear as the coq community logo on the upper right, as well as the usual arrows that are displayed in CoqIDE (for the step forward, backward, etc... commands)
rtetley
commented
1 month ago
Often times new users can be lost in how to navigate a file using manual mode, or other commands. We should build a Coq command menu which will appear as the coq community logo on the upper right, as well as the usual arrows that are displayed in CoqIDE (for the step forward, backward, etc... commands)