add {fst,snd}_map_zip (!285) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/fst_snd_map_zip into master 3 years ago

Lemmas and proofs by @msammler

Edited 3 years ago by Ralf Jung

Activity

Lennard Gäher @lgaeher 3 years ago

Owner

small correction: I think the lemmas and proofs might rather be by @msammler (at least I don't recall doing them).
Ralf Jung @jung 3 years ago

Author Owner

oops sorry for that
Ralf Jung changed the description 3 years ago

changed the description
Robbert Krebbers @robbertkrebbers 3 years ago

Owner

LGTM.
Robbert Krebbers mentioned in commit 80c56230 3 years ago

mentioned in commit 80c56230
Robbert Krebbers merged 3 years ago

merged
Robbert Krebbers mentioned in merge request !284 (merged) 3 years ago

mentioned in merge request !284 (merged)
Robbert Krebbers mentioned in merge request !288 (merged) 3 years ago

mentioned in merge request !288 (merged)

Please register or sign in to reply