Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Used in iRevert, iClear, iFrame, and for generalizing the IH in iInduction and iLöb.
Robbert Krebbers authoredUsed in iRevert, iClear, iFrame, and for generalizing the IH in iInduction and iLöb.
