Add two useful lemmas (!101) · Merge requests · Iris / stdpp · GitLab

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Amin Timany

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Amin Timany

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Amin Timany

Amin Timany added 1 commit 5 years ago

added 1 commit

707645ee - Add two useful lemmas

Compare with previous version

Amin Timany resolved all threads 5 years ago

resolved all threads

Robbert Krebbers merged 5 years ago

merged

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit 46255f7a

Please register or sign in to reply