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: Oct 04 2023 at 19:01 UTC