TX Xia (Jul 30 2022 at 13:04): 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!
Enrico Tassi (Jul 30 2022 at 18:51):F1 coq display ...
or something along these lines
Notification Bot (Jul 30 2022 at 18:52):TX Xia has marked this topic as resolved.
Last updated: Dec 07 2023 at 06:38 UTC