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: Oct 05 2023 at 02:01 UTC