Stream: Coq users

Topic: No of elements


view this post on Zulip zohaze (Nov 28 2022 at 16:33):

I have a natural number list . First want to count two different elements in the list then show that count of one element is greater than other. How i should proceed to prove this ?

view this post on Zulip Lessness (Nov 30 2022 at 20:51):

What about list 1::2::nil? There the number of 1s is equal to number of 2s.
If I understand you correctly, what you want to prove is false.

view this post on Zulip Pierre Castéran (Dec 01 2022 at 07:21):

The original question was quite vague (was it a statement about any list, or a given list and
given elements defined in the current context)?


Last updated: Jan 29 2023 at 01:02 UTC