AngouriMath
Soundness
Description
Summary
How well justified the relation a Transformation claims between its
input and its output is. The three tiers are never blurred: a heuristic labelled as
a proof is a wrong answer with a friendly face.
input and its output is. The three tiers are never blurred: a heuristic labelled as
a proof is a wrong answer with a friendly face.
Remarks
The tier is declared by whoever wrote the transformation, not derived from it.
Nothing in the library checks a declaration today, so a tier is a claim to be argued
with rather than a guarantee to be relied on, and the registry starts conservative
on purpose: tightening a label needs an argument, loosening one does not.
Nothing in the library checks a declaration today, so a tier is a claim to be argued
with rather than a guarantee to be relied on, and the registry starts conservative
on purpose: tightening a label needs an argument, loosening one does not.
Members
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online