girving / intervalLinks

Conservative floating point interval arithmetic in Lean
16Updated last month

Alternatives and similar repositories for interval

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

Sorting: