We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
cond limit
Setting maximal number of evaluation of condition part of an axiom. This is useful for detecting a kind of inifinite loop of rewriting.