Open jeswr opened 1 year ago
Since EYE now interprets <= as log:isImpliedBy (and I assume this plans to be standardised) I would greatly appreciate if this could be reflected in some test cases.
<=
log:isImpliedBy
@jeswr Feel free to add a PR with a suitable test case.
Since EYE now interprets
<=
aslog:isImpliedBy
(and I assume this plans to be standardised) I would greatly appreciate if this could be reflected in some test cases.