Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
Now it only performs injection on hypotheses of the shape f .. = f ..
Robbert Krebbers authoredNow it only performs injection on hypotheses of the shape f .. = f ..
