Merge branch 'big-op-impl' into 'master'
Add generalized implication lemma for big_sepM See merge request iris/iris!697
Loading
Please register or sign in to comment
Add generalized implication lemma for big_sepM See merge request iris/iris!697