Stream: VsCoq devs & users

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

Enrico Tassi (Jul 30 2022 at 18:51):

F1 coq display ...
or something along these lines

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