Expand description
Iterative expression evaluation
Evaluates expressions without recursion using a stack-based approach. All runtime errors (division by zero, etc.) result in Veto instead of errors.
Functionsยง
- evaluate_
rule - Evaluate a rule to produce its final result and proof