Stream: VsCoq devs & users

Topic: ✔ `Set Printing Universes` not working in vscoq


view this post on Zulip TX Xia (Jul 30 2022 at 13:04):

Hi,
I'm learning coq using vscoq.
I just found that Set Printing Universes was not working in vscoq.
I'm wondering how to do that in vscoq.
Can anyone help me?
Thanks!

view this post on Zulip Enrico Tassi (Jul 30 2022 at 18:51):

F1 coq display ...
or something along these lines

view this post on Zulip Notification Bot (Jul 30 2022 at 18:52):

TX Xia has marked this topic as resolved.


Last updated: Jun 23 2024 at 01:02 UTC