Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This proof also more easily scales to other recursive types, like trees etc.
Robbert Krebbers authoredThis proof also more easily scales to other recursive types, like trees etc.
