View Source Retex.Why (retex v0.1.9)

Why a rule was activated?

Use this module passing the conclusion of a rule and it will tell you why it was activated

Link to this section Summary

Link to this section Functions

Link to this function

explain(retex, conclusion)

View Source