Stream: Coq devs & plugin devs

Topic: ✔ Universes in instances


view this post on Zulip Notification Bot (Apr 05 2024 at 16:06):

Matthieu Sozeau has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC