Merge branch 'robbert/persistently_True' into 'master'
Make `persistently_True` a bi-entailment. See merge request iris/iris!912
No related branches found
No related tags found
Loading
Please register or sign in to comment
Make `persistently_True` a bi-entailment. See merge request iris/iris!912