Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Coq also uses level 200 for these constructs. Besides, heap_lang's match and if were also already at this level.
Robbert Krebbers authoredCoq also uses level 200 for these constructs. Besides, heap_lang's match and if were also already at this level.
