Merge branch 'local_updates' into 'master'
Add local update lemmas for `discrete_fun` and `unit`. See merge request iris/iris!948
Loading
Please register or sign in to comment
Add local update lemmas for `discrete_fun` and `unit`. See merge request iris/iris!948