-
Raphaël Monat authored
Port of Interval Validation to mixed precision. Needed some auxiliary lemmas related to the typing of expressions.
970c1b8a
Port of Interval Validation to mixed precision. Needed some auxiliary lemmas related to the typing of expressions.