add some zip lemmas (!582) · Merge requests · Iris / stdpp · GitLab

Ralf Jung @jung started a thread on an old version of the diff 3 months ago

Resolved 2 months ago by Kimaya Bedarkar

Ralf Jung @jung started a thread on an old version of the diff 3 months ago

Resolved 3 months ago by Kimaya Bedarkar

Ralf Jung @jung started a thread on an old version of the diff 3 months ago

Resolved 3 months ago by Kimaya Bedarkar

Kimaya Bedarkar added 1 commit 3 months ago

added 1 commit

dd74acae - address review suggestions

Compare with previous version

Kimaya Bedarkar added 1 commit 3 months ago

added 1 commit

02d67bfd - fix

Compare with previous version

Ralf Jung @jung started a thread on an old version of the diff 3 months ago

Resolved 2 months ago by Kimaya Bedarkar

Kimaya Bedarkar added 1 commit 3 months ago

added 1 commit

25e7b53d - ind -> i

Compare with previous version

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Kimaya Bedarkar

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Kimaya Bedarkar

Robbert Krebbers @robbertkrebbers · 2 months ago

Owner

Resolved 2 months ago by Kimaya Bedarkar

Thanks for the MR. These seem like useful lemmas.

Wish: Could we have these lemmas also for zip_with and them have the zip versions as a mere corollary?

I left some comments on the lemma statements.
Last reply by Kimaya Bedarkar 2 months ago

Ralf Jung added label 2 months ago

added S-waiting-for-author label

Kimaya Bedarkar added 1 commit 2 months ago

added 1 commit

cb772bab - add zip with lemma

Compare with previous version

Kimaya Bedarkar resolved all threads 2 months ago

resolved all threads

Ralf Jung removed label 2 months ago

removed S-waiting-for-author label

Ralf Jung added label 2 months ago

added S-waiting-for-review label

Kimaya Bedarkar resolved all threads 2 months ago

resolved all threads

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Kimaya Bedarkar

Please register or sign in to reply