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):

(deleted)

Last updated: Oct 03 2023 at 21:01 UTC