Merge branch 'ci/ralf/list-ra' into 'master'
add more lemmas to list RA and move it to iris-staging See merge request iris/iris!654
No related branches found
No related tags found
Showing
- CHANGELOG.md 2 additions, 0 deletionsCHANGELOG.md
- _CoqProject 3 additions, 0 deletions_CoqProject
- iris/algebra/list.v 2 additions, 395 deletionsiris/algebra/list.v
- iris/base_logic/algebra.v 0 additions, 8 deletionsiris/base_logic/algebra.v
- iris_staging/algebra/list.v 564 additions, 0 deletionsiris_staging/algebra/list.v
- iris_staging/base_logic/algebra.v 22 additions, 0 deletionsiris_staging/base_logic/algebra.v
Loading
Please register or sign in to comment