- changed status to resolved
LUP on !x y: P(x, y) => Q(0, x, y).
Issue #230
resolved
Does not work, probably due to unnesting
Comments (1)
-
- Log in to comment