Stream: Coq users

Topic: ✔ greater than relation

view this post on Zulip pianke (Oct 03 2023 at 07:25):

1) Yes , correct notation. I always have value of a greater than 1, then its means it could be two or greater than two . could i say sum is always 2 or greater than 2.
2) could i write it as 2= S sum then from it derive 1=sum ?
3) derive any contradiction? I am in need of equality here.

view this post on Zulip Notification Bot (Oct 03 2023 at 07:45):

Cyril Cohen has marked this topic as resolved.

view this post on Zulip Cyril Cohen (Oct 03 2023 at 07:45):

This topic has been closed by request of the moderators and shall not be reopened unless the original author provides enough context, with actual Coq code.

Last updated: Jun 22 2024 at 16:02 UTC