Stream:
Coq devs & plugin devs
Topic:
✔ UIP in SProp changes in Coq 8.13
Notification Bot
(May 01 2024 at 23:50)
:
Arpan Agrawal
has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC