Stream: Coq users

Topic: ✔ Rewrite with a condition


view this post on Zulip Nicolas Rinaudo (Sep 18 2023 at 14:33):

That is very clear. Thank you very much.

view this post on Zulip Notification Bot (Sep 18 2023 at 14:34):

Nicolas Rinaudo has marked this topic as resolved.


Last updated: Jun 23 2024 at 04:03 UTC