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)
backtracking/creal
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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)