Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#121
Remove `bi_persistently_exist_1` and `bi_plainly_exist_1` from the BI axioms
They possibly not hold for linear logics.
Edited
Dec 04, 2017
by
Jacques-Henri Jourdan