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)
-
Notifications
You must be signed in to change notification settings - Fork 1
An exact real arithmetic (aka constructive reals) for OCaml
License
backtracking/creal
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An exact real arithmetic (aka constructive reals) for OCaml
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published