Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
This one works for setoid rewriting under binders.
Robbert Krebbers authoredThis one works for setoid rewriting under binders.
This one works for setoid rewriting under binders.
This one works for setoid rewriting under binders.