Stronger sorted unique lemmas (!567) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/sorted_unique into master 8 months ago

All threads resolved!

Add lemmas Sorted_unique' and StronglySorted_unique' that only require anti symmetry for the elements that are in the list.

Activity

Ralf Jung @jung started a thread on an old version of the diff 8 months ago

Resolved 8 months ago by Robbert Krebbers
Last reply by Ralf Jung 8 months ago

Ralf Jung @jung started a thread on an old version of the diff 8 months ago

Resolved 8 months ago by Robbert Krebbers

Robbert Krebbers added 1 commit 8 months ago

added 1 commit

112c060b - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

Robbert Krebbers added 5 commits 8 months ago

added 5 commits

112c060b...1844a78e - 4 commits from branch master
bc6faec2 - Add lemmas `Sorted_unique'` and `StronglySorted_unique'` that only require...

Compare with previous version

Robbert Krebbers resolved all threads 8 months ago

resolved all threads

Robbert Krebbers added 1 commit 8 months ago

added 1 commit

1d6ec7e6 - Add variants of `Sorted_unique` that only require anti symmetry for the...

Compare with previous version

Robbert Krebbers enabled an automatic merge when the pipeline for succeeds 8 months ago

enabled an automatic merge when the pipeline for 1d6ec7e6 succeeds

Robbert Krebbers mentioned in commit 8 months ago

mentioned in commit 9d0f527a

Robbert Krebbers merged 8 months ago

merged

Please register or sign in to reply