The Coq mailing list

[Jorge Acevedo <jorgeohel AT gmail.com>]

Dear Coq,

Could you please tell me what docummentation (sources) you regularly use for the formalization -  fundamentation  of real numbers in Coq?

Thank you very much.

Jorge  Acevedo Acosta