Stream: Coq users

Topic: terms equality


view this post on Zulip zohaze (Mar 04 2024 at 17:27):

list_max (k::l) <=k and k<=list_max (k::l) could be true at a time ( equality relation between nat is possible?)

view this post on Zulip Notification Bot (Mar 06 2024 at 15:55):

zohaze has marked this topic as resolved.

view this post on Zulip Notification Bot (Mar 06 2024 at 15:55):

zohaze has marked this topic as unresolved.

view this post on Zulip Notification Bot (Mar 06 2024 at 15:55):

zohaze has marked this topic as resolved.

view this post on Zulip Notification Bot (Mar 06 2024 at 15:55):

zohaze has marked this topic as unresolved.


Last updated: Jun 13 2024 at 21:01 UTC