some list lemmas (!82) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/list-find-fmap into master 5 years ago

Just needed these for a proof, seems general enough.

Edited 5 years ago by Ralf Jung

Activity

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

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

Ralf Jung added 1 commit 5 years ago

added 1 commit

05bf88b7 - prove list_find_proper

Compare with previous version

Ralf Jung changed title from prove list_find_fmap to some list_find lemmas 5 years ago

changed title from prove list_find_fmap to some list_find lemmas

Ralf Jung added 1 commit 5 years ago

added 1 commit

1a019465 - fix list variable name

Compare with previous version

Ralf Jung added 1 commit 5 years ago

added 1 commit

536c3662 - omap lemmas

Compare with previous version

Ralf Jung changed title from some list_find lemmas to some list lemmas 5 years ago

changed title from some list_find lemmas to some list lemmas

Ralf Jung changed the description 5 years ago

changed the description

Ralf Jung @jung started a thread on the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Ralf Jung added 1 commit 5 years ago

added 1 commit

09dc9e0d - more consistent lemma names

Compare with previous version

Ralf Jung resolved all discussions 5 years ago

resolved all discussions

Ralf Jung added 1 commit 5 years ago

added 1 commit

d8e67170 - use csimpl

Compare with previous version

Ralf Jung resolved all discussions 5 years ago

resolved all discussions

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

Resolved 5 years ago by Ralf Jung

Ralf Jung added 1 commit 5 years ago

added 1 commit

0d74b6af - use csimpl

Compare with previous version

Ralf Jung resolved all discussions 5 years ago

resolved all discussions

Robbert Krebbers @robbertkrebbers started a thread on the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Ralf Jung added 1 commit 5 years ago

added 1 commit

7748d9c5 - use csimpl

Compare with previous version

Ralf Jung resolved all discussions 5 years ago

resolved all discussions

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit ec592463

Robbert Krebbers merged 5 years ago

merged

Please register or sign in to reply