Stream: Coq users

Topic: ✔ Why the rewrite fails?


view this post on Zulip Notification Bot (Oct 13 2023 at 12:38):

Mukesh Tiwari has marked this topic as resolved.

view this post on Zulip Mukesh Tiwari (Oct 16 2023 at 12:23):

Thanks @Paolo Giarrusso !

view this post on Zulip Notification Bot (Oct 16 2023 at 12:32):

Mukesh Tiwari has marked this topic as resolved.


Last updated: Jun 13 2024 at 19:02 UTC