Stream: Coq users

Topic: ✔ CoInductive equality


view this post on Zulip Julin S (Jun 25 2022 at 07:08):

Thanks!

view this post on Zulip Notification Bot (Jun 25 2022 at 07:08):

Julin S has marked this topic as resolved.


Last updated: Jan 27 2023 at 00:03 UTC