We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:roll back
Reverts the strategy that led to the current target goal. The current target goal is removed from the proof tree.
Related: citp
citp