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: Apr 19 2024 at 13:02 UTC