Will VSCoq support automatic reloading of the proof view by May 2023?
May 4, 2023
M$20 bet
When I use VSCode for Coq using the VSCoq extension, I have to invoke a command to change the location within the proof I am inspecting. The UI for VSCode's Lean extension is much better - you just have to move your cursor and the proof view automatically updates. Will VSCoq get this feature by the close date?