Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Also: - Remove the wp_strip_later hack. - Let wp_lam, wp_rec, wp_... initiate the proof mode.
Robbert Krebbers authoredAlso: - Remove the wp_strip_later hack. - Let wp_lam, wp_rec, wp_... initiate the proof mode.
