Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Robbert Krebbers authored
The new updates allow allocation fresh elements satisfying an arbitrary
proposition (for example, being even) instead of just not being in a given
finite set.

TODO: maybe also do this for finite maps (gmaps).
fcc1c439
History
Name Last commit Last update