Stream: Coq users

Topic: ✔ From ssreflect reflected equality to a sumbool


view this post on Zulip Notification Bot (Feb 26 2024 at 18:28):

Valentin Robert has marked this topic as resolved.


Last updated: Jun 23 2024 at 03:02 UTC