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)
Download
creal-0.7.tar.gz
Jean-Christophe Filliâtre
(formatted with yamlpp).