coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] REQUEST

From: Julien Narboux <jnarboux AT narboux.fr>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] REQUEST
Date: Wed, 27 May 2015 10:47:50 +0200

The following paper by Boldo, Lelay and Melquiond will give you an overview :

https://www.lri.fr/~melquion/doc/14-mscs.pdf

Julien

2015-05-21 23:48 GMT+02:00 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

[Coq-Club] REQUEST, jorge acevedo, 05/21/2015
- <Possible follow-up(s)>
- [Coq-Club] REQUEST, Jorge Acevedo, 05/21/2015
  - Re: [Coq-Club] REQUEST, Julien Narboux, 05/27/2015