We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
cbred [ in <mod-exp> :] <term> .
circular coinductive reduction: see Goguen, Lin, Rosu: Circular Coinductive Rewriting (Proceedings of Automated Software Engineering 2000) for details.