Stream: Coq devs & plugin devs

Topic: ✔ UIP in SProp changes in Coq 8.13


view this post on Zulip 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