SMARTFLOAT: Trustworthy Numerical Computation in Scalalara.epfl.ch1 point·theboywho··0 commentsOpen articleSaveView on HN