girving / intervalLinks

Conservative floating point interval arithmetic in Lean
17Updated this week

Alternatives and similar repositories for interval

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

Sorting: