backtracking / creal

An exact real arithmetic (aka constructive reals) for OCaml
13Updated 9 months ago

Alternatives and similar repositories for creal:

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