Implement Iris' alternative rules for E5. Almost no change in output … #43
Annotations
2 warnings
|
theories/iSL/Order.v#L12
Notation "_ • _" was already used.
|
|
theories/iSL/PropQuantifiers.v#L33
Notation "_ • _" was already used.
|
This job succeeded
Loading