Pipelines · Merge branch 'msammler/small-lemma-collection' into 'master' (c2bad317) · Commits · Iris / stdpp

Commit c2bad317 authored 3 years ago by Robbert Krebbers

Upstreaming a small collection of lemmas

See merge request !337

No related branches found

No related tags found

1 merge request!337Upstreaming a small collection of lemmas

Pipeline #57864 passed 3 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:05:45 3 years ago	Merge branch 'msammler/small-lemma-collection' into 'master' #57864 master c2bad317		Stage: build	No artifacts found