This section provides predicates for arithmetic evaluation.
Result is Expression is true if and only if evaluating Expression as an
expression gives Result as a result.
2018 - 2021 José Antonio Riaza Valverde | jariazavalverde/fasill | University of Castilla-La Mancha, DEC-Tau research group
Released under the BSD-3 Clause license | Uses Font Awesome and Bootstrap