Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
It now turns setoid equalities into Leibniz equalities when possible, and substitutes those.
Robbert Krebbers authoredIt now turns setoid equalities into Leibniz equalities when possible, and substitutes those.
