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):

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?

Last updated: Jan 30 2023 at 19:04 UTC