Stream: Coq users

Topic: help in Coq


view this post on Zulip zohaze (Mar 14 2023 at 15:09):

I have natural number list and accessing these elements as a1::((a2::t) as tl and another list l2. If any element of l2 exist in tl then give true else false. Or in case element found in l2 then add this element after a1. Plz guide me in writing this statement in Coq.


Last updated: Jun 25 2024 at 14:01 UTC