Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This makes clear that we do not range over Coq terms.
Robbert Krebbers authoredThis makes clear that we do not range over Coq terms.
This makes clear that we do not range over Coq terms.
This makes clear that we do not range over Coq terms.