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!
F1 coq display ...
or something along these lines
TX Xia has marked this topic as resolved.
Last updated: Dec 07 2023 at 06:38 UTC