Very stupid question: how can I resurrect the right pane where the status of the proof is shown?
the usual ctrl+shift+enter I use in Lean is not working. Found!
BTW, there is a stream dedicated to #VsCoq devs & users.
Thank you, Théo.
Last updated: Sep 23 2023 at 06:01 UTC