Filippo A. E. Nuccio (May 04 2022 at 08:22): Filippo A. E. Nuccio (May 04 2022 at 08:22):Very stupid question: how can I resurrect the right pane where the status of the proof is shown?
Filippo A. E. Nuccio (May 04 2022 at 08:22):the usual ctrl+shift+enter I use in Lean is not working. Found!
Théo Zimmermann (May 04 2022 at 09:05):BTW, there is a stream dedicated to #VsCoq devs & users.
Filippo A. E. Nuccio (May 04 2022 at 10:06):Thank you, Théo.
Last updated: Oct 13 2024 at 01:02 UTC