Stream: Coq users

Topic: ✔ Multiple hypotheses matches the goal


view this post on Zulip Notification Bot (Dec 18 2023 at 06:50):

Laurent Théry has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC