prove NoDup_fmap_2_strong (!173) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/no-dup-fmap into master 4 years ago

All threads resolved!

Another lemma that I just needed in Perennial.

Activity

Ralf Jung added 1 commit 4 years ago
added 1 commit

d96ebd4c - derive NoDup_fmap_2 from the stronger version

Compare with previous version
Robbert Krebbers @robbertkrebbers started a thread on the diff 4 years ago

Resolved 4 years ago by Ralf Jung
Last reply by Ralf Jung 4 years ago

Ralf Jung added 1 commit 4 years ago

added 1 commit

fa2a8606 - shorter proof by Robbert

Compare with previous version

Ralf Jung resolved all threads 4 years ago

resolved all threads

Robbert Krebbers merged 4 years ago

merged

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit 5bdd73dd

Please register or sign in to reply