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: Jun 14 2024 at 19:02 UTC