girving / interval

Conservative floating point interval arithmetic in Lean
16Updated 2 months ago

Alternatives and similar repositories for interval:

Users that are interested in interval are comparing it to the libraries listed below