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?
F1 coq display ...
or something along these lines
TX Xia has marked this topic as resolved.
Last updated: Jun 04 2023 at 23:30 UTC