I wrote an OCaml implementation of this paper a few years ago, which I've now extracted into its own [repo](https://github.com/joelburget/constructive-reals/blo

I wrote an OCaml implementation of this paper a few years ago, which I've now extracted into its own [repo](https://github.com/joelburget/constructive-reals/blob/main/Constructive_reals.ml https://github.com/joelburget/constructive-reals/blob/main/C...) The link in the paper to their Java implementation is now broken: does anyone have a current link?