Closed semorrison closed 8 months ago
With terminal := false, aesop always succeeds. Could we change that so that it succeeds iff it applies a rule?
terminal := false
aesop
Good idea!
With
terminal := false
,aesop
always succeeds. Could we change that so that it succeeds iff it applies a rule?