coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Re: Coq Poll: What are your preferred rational numbers ?

From: Janet Bertot <Janet.Bertot AT sophia.inria.fr>
To: inria-sophia-listes-coq-club AT news-sop.inria.fr
Subject: Re: [Coq-Club] Re: Coq Poll: What are your preferred rational numbers ?
Date: Wed, 26 Nov 2003 14:50:18 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Newsgroups: inria.sophia.listes.coq-club
Organization: I.N.R.I.A. Unite de Recherche de Sophia Antipolis (France)

This research report is available via FTP at the following address:

ftp://ftp.inria.fr/INRIA/publication/RR/RR-5004.ps.gz

> The following report describes this package (it will soon be available > on the web):

>  REFERENCE |RR-5004
>  TITRE     |QArith: Coq Formalisation of Lazy Rational Arithmetic
>  AUTEUR    |Niqui, Milad / Bertot, Yves
>  DATE      |Novembre 2003
>  U.R.      |Sophia Antipolis
>  THEME     |2
>  PROJET    |LEMME

[Coq-Club] Coq Poll: What are your preferred rational numbers ?, Pierre Letouzey
- [Coq-Club] Re: Coq Poll: What are your preferred rational numbers ?, Milad Niqui
- Message not available
  - Re: [Coq-Club] Re: Coq Poll: What are your preferred rational numbers ?, Janet Bertot
- <Possible follow-ups>
- [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Thery Laurent
  - Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Pierre Letouzey
    - Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Russell O'Connor
      - Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Venanzio Capretta
        
        Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Russell O'Connor
      - Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Venanzio Capretta
        
        Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Benjamin Werner
        
        Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Pierre Courtieu
  - Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Bruno Barras
    - Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Thery Laurent