Introduce `set_bind` and associated lemmas. (!383) · Merge requests · Iris / stdpp

Closed Dan Frumin requested to merge dfrumin/coq-stdpp:set_bind into master 3 years ago

Status	Pipeline	Stages
Passed 00:04:42 2 years ago	Apply some sugguestions from Robbert and Paolo #69166 383 da5452a3	Stage: build	Download artifacts No artifacts found
Passed 00:09:20 2 years ago	Update the CHANGELOG #69162 383 3e65c087	Stage: build	Download artifacts No artifacts found
Passed 00:03:59 3 years ago	Update the CHANGELOG #66731 383 3d0c8f28	Stage: build	Download artifacts No artifacts found
Canceled 00:01:09 3 years ago	Introduce `set_bind` and associated lemmas. #66730 383 fd4b24e7	Stage: build	Download artifacts No artifacts found

Introduce `set_bind` and associated lemmas.