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!


Last updated: Jan 30 2023 at 19:04 UTC