Forked from
Iris / Iris
-
Robbert Krebbers authored
This allows one to make use of recursive ghost state obtained from the recursive domain equation solver.
Robbert Krebbers authoredThis allows one to make use of recursive ghost state obtained from the recursive domain equation solver.
