/creal

An exact real arithmetic (aka constructive reals) for OCaml

Primary LanguageOCamlOtherNOASSERTION

Creal - an exact real arithmetic library for OCaml

This is a straightforward implementation of Valérie Ménissier-Morain's Phd See https://theses.fr/1994PA077271 (in French)