Stream: Coq devs & plugin devs

Topic: ✔ From opaque back to constr


view this post on Zulip Gaëtan Gilbert (Jul 17 2023 at 19:14):

you need the accessor

view this post on Zulip Arpan Agrawal (Jul 17 2023 at 19:19):

Thanks again!

view this post on Zulip Notification Bot (Jul 17 2023 at 19:19):

Arpan Agrawal has marked this topic as resolved.


Last updated: Jun 14 2024 at 19:02 UTC