AngouriMath
Soundness
Property
Summary
How well justified that claim is — the weakest tier any rewrite inside it holds at,
falling back to the set's where no rewrite was recorded.null where
the step is not a rule set at all.
falling back to the set's where no rewrite was recorded.
the step is not a rule set at all.
Remarks
The weakest, because a step is only as justified as the least justified thing in it: a
pass of nine unconditional rewrites and one conditional one is a conditional pass. Read
off the rewrites rather than off the set, so that a pass of rules which all hold
universally says so instead of inheriting its set's minimum over rules it did not fire.
pass of nine unconditional rewrites and one conditional one is a conditional pass. Read
off the rewrites rather than off the set, so that a pass of rules which all hold
universally says so instead of inheriting its set's minimum over rules it did not fire.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online