The linked paper by Boehm about implementation of the Android calculator (6.0+) with constructive reals was also interesting: <https://dl.acm.org/doi/10.1145/29

The linked paper by Boehm about implementation of the Android calculator (6.0+) with constructive reals was also interesting: <https://dl.acm.org/doi/10.1145/2911981 https://dl.acm.org/doi/10.1145/2911981>