Stream:
Coq devs & plugin devs
Topic:
✔ Universes in instances
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