Stream: Coq users

Topic: VsCode right pane


view this post on Zulip 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?

view this post on Zulip Filippo A. E. Nuccio (May 04 2022 at 08:22):

the usual ctrl+shift+enter I use in Lean is not working. Found!

view this post on Zulip Théo Zimmermann (May 04 2022 at 09:05):

BTW, there is a stream dedicated to #VsCoq devs & users.

view this post on Zulip Filippo A. E. Nuccio (May 04 2022 at 10:06):

Thank you, Théo.


Last updated: Feb 01 2023 at 11:04 UTC