https://github.com/math-comp/real-closed/tree/complex_both_modules
Last updated: Aug 11 2022 at 02:03 UTC