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

Snippets Groups Projects

Merged Kimaya Bedarkar requested to merge kbedarka/stdpp:kimaya/add-zip-lemmas into master 2 months ago

Approval is optional

Activity

Kimaya Bedarkar added 1 commit 2 months ago
added 1 commit

06e33770 - polish

Compare with previous version
Ralf Jung @jung started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Kimaya Bedarkar
Last reply by Ralf Jung 2 months ago

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

Resolved 2 months ago by Kimaya Bedarkar

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

Resolved 1 month ago by Kimaya Bedarkar

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

Resolved 2 months ago by Kimaya Bedarkar

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

Resolved 2 months ago by Kimaya Bedarkar

Kimaya Bedarkar added 1 commit 2 months ago

added 1 commit

dd74acae - address review suggestions

Compare with previous version

Kimaya Bedarkar added 1 commit 2 months ago

added 1 commit

02d67bfd - fix

Compare with previous version

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

Resolved 1 month ago by Kimaya Bedarkar

Kimaya Bedarkar added 1 commit 2 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 1 month ago by Kimaya Bedarkar

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

Resolved 1 month ago by Kimaya Bedarkar

Robbert Krebbers @robbertkrebbers · 2 months ago

Owner

Resolved 1 month 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 1 month ago

Ralf Jung added label 1 month ago

added S-waiting-for-author label

Kimaya Bedarkar added 1 commit 1 month ago

added 1 commit

cb772bab - add zip with lemma

Compare with previous version

Kimaya Bedarkar resolved all threads 1 month ago

resolved all threads

Ralf Jung removed label 1 month ago

removed S-waiting-for-author label

Ralf Jung added label 1 month ago

added S-waiting-for-review label

Kimaya Bedarkar resolved all threads 1 month ago

resolved all threads

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 1 month ago

Resolved 1 month ago by Kimaya Bedarkar

Please register or sign in to reply