Stream: Coq users

Topic: alternate way of writing

view this post on Zulip sara lee (Feb 05 2023 at 16:27):

I have (z:nat nat) notation and following list.
[z:3 4; z:6 7;z:5 3].
Want to replace 3 4 with a1 b1 so that it become [z:a1 b1; z:a2 b2; z:a3 b3].
Just show/assign variables instead of natural numbers. I am giving increment but don't know how to replace natural number with variable along with increment. Plz guide me.

view this post on Zulip sara lee (Feb 07 2023 at 13:37):

simple way of assigning variables to numbers.( in case of list)

Last updated: Oct 04 2023 at 22:01 UTC