modures/logic.v · 2e1e15b0f859a7bd0aa7a649a40be30d17941588 · Tej Chajed / iris

Forked from Iris / Iris

Source project has a limited visibility.

9 years ago

Now we use a specific notation (⊑) to whose arguments we interpret
in uPred_scope. This makes notations much more concise.

2e1e15b0

Robbert Krebbers authored 9 years ago

Now we use a specific notation (⊑) to whose arguments we interpret
in uPred_scope. This makes notations much more concise.