creal. An exact real arithmetic (aka constructive reals) for OCaml

github.com/backtracking/creal
by @backtracking

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.