Stream: Coq users

Topic: natural number counting

view this post on Zulip zeesha huq (Apr 17 2021 at 18:27):

Want to count two natural numbers(k1 and k2)that exist in the list. On the basis of this count I want to to find greater element.(count k1 l < count k2 l).

view this post on Zulip pianke (Aug 05 2022 at 18:48):


Last updated: Jun 25 2024 at 19:01 UTC