Stream: VsCoq devs & users

Topic: ✔ `Set Printing Universes` not working in vscoq


view this post on Zulip Enrico Tassi (Jul 30 2022 at 18:51):

F1 coq display ...
or something along these lines

view this post on Zulip Notification Bot (Jul 30 2022 at 18:52):

TX Xia has marked this topic as resolved.


Last updated: Jan 30 2023 at 19:04 UTC