Add lemmas for easy measure/size induction. (!519) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/lt_wf_projected into master 1 year ago

Approval is optional

Activity

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 1 year ago by Ralf Jung
Last reply by Ralf Jung 1 year ago

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 1 year ago by Ralf Jung

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 1 year ago by Robbert Krebbers

Robbert Krebbers added 1 commit 1 year ago

added 1 commit

6f4e68e0 - Add test case.

Compare with previous version

Robbert Krebbers added 1 commit 1 year ago

added 1 commit

f2eb41a4 - Add test case.

Compare with previous version

Robbert Krebbers added 1 commit 1 year ago

added 1 commit

fff27a8c - Add test case.

Compare with previous version

Ralf Jung @jung started a thread on the diff 1 year ago

Resolved 1 year ago by Robbert Krebbers

Robbert Krebbers added 1 commit 1 year ago

added 1 commit

e379e125 - Comment in test

Compare with previous version

Ralf Jung resolved all threads 1 year ago

resolved all threads

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 1 year ago by Robbert Krebbers

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 1 year ago by Ralf Jung

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 1 year ago by Robbert Krebbers

Robbert Krebbers added 36 commits 1 year ago

added 36 commits

e379e125...03757caf - 32 commits from branch master
10018804 - Add `lt_wf_projected` lemmas for `nat`, `N`, `Z`.
090ad87a - Comment.
f65eda4e - CHANGELOG.
cde89683 - Add test case.

Compare with previous version

Toggle commit list

Robbert Krebbers added 6 commits 1 year ago

added 6 commits

cde89683...b7c80640 - 3 commits from branch master
4ef46416 - Add `lt_wf_projected` lemmas for `nat`, `N`, `Z`.
4901b4b6 - CHANGELOG.
9fdf1971 - Add test case.

Compare with previous version

Toggle commit list

Robbert Krebbers resolved all threads 1 year ago

resolved all threads

Robbert Krebbers @robbertkrebbers 1 year ago

Author Owner

I think this is ready.

Robbert Krebbers added 1 commit 1 year ago

added 1 commit

ec74627f - Add test case.

Compare with previous version

Ralf Jung @jung started a thread on the diff 1 year ago

Resolved 1 year ago by Ralf Jung

Robbert Krebbers added 1 commit 1 year ago

added 1 commit

dabf8fc1 - Add test case.

Compare with previous version

Ralf Jung resolved all threads 1 year ago

resolved all threads

Please register or sign in to reply