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: Oct 13 2024 at 01:02 UTC