Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Robbert Krebbers authored
This is more consistent with our current consensus of not using
implication. Also, it allows one to reintroduce the persistent
hypothesis into the spatial context.
56301ac8
History
Name Last commit Last update