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 13 2024 at 01:02 UTC