Stream: Coq users

Topic: How to make simple?


view this post on Zulip sara lee (Aug 16 2022 at 07:29):

I have In n1 (f1 x y z l1) want to make its combination with In n2 (f1 x y z l2). As x y z are not changing.I want to keep these
natural numbers as constant in comparison. How i can do it?


Last updated: Feb 06 2023 at 13:03 UTC