Stream: Coq users

Topic: even numbers


view this post on Zulip zohaze (Apr 11 2023 at 18:36):

I am using basic definition of even numbers from library. List l holds the property of evenness. It means if i take any two numbers from list then these numbers will have this property. For example i have list l =(x1::x2::t) and select ( x1 & x2) and
(x1 and any element from t) . Want to show evenness for both cases.


Last updated: Mar 28 2024 at 08:01 UTC