Constructive reals OCaml library

Creal is an exact real arithmetic library (constructive reals) for OCaml

Creal actually contains two different implementations :

The two interfaces are almost identical, so that it is easy to switch from one to the other, unless your are using the approx function directly: in Creal, it gives an approximation up to 1/4^n, and in Cr up to 2^n

Both implementation are based on mlgmp by David Monniaux (included in the tarball below)



Homepage Français OCaml
Jean-Christophe.Filliatre[at] (formatted with yamlpp).