coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE.

From: Serge Leblanc <serge.leblanc AT wanadoo.fr>
To: Marc Daumas <Marc.Daumas AT ens-lyon.fr>
Cc: coq-club AT pauillac.inria.fr
Subject: RE: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE.
Date: Sat, 14 May 2005 10:16:38 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Merci cordialement pour toutes ces informations,

Serge Leblanc <serge.leblanc AT wanadoo.fr> GnuPG id: 1024D/73791C2B 2002-09-30 
Primary key fingerprint: 8E0C 0D6D E026 A278 9278  BF4F 1A93 D552 7379 1C2B

Attachment: signature.asc
Description: This is a digitally signed message part

[Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Serge Leblanc
- Re: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Patrick Loiseleur
  - RE: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Marc Daumas
    - RE: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Serge Leblanc