Creal

MaRDI QIDQ30916swMATHFDO

Official website https://www.lri.fr/~filliatr/creal.en.html

Cited in

(2)

• Cr
• The constructive reals as a Java library

This page was built for software: Creal