We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:csp- { eq [ <label-exp>] <term> = <term> . ...}
Like :csp, but if sub-goals are not discharged, the CITP prover returns to the original state before the reduce action.
:csp
Related: :csp, citp
citp