coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Carlos.SIMPSON" <carlos AT math.unice.fr>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] Rational numbers
- Date: Wed, 25 May 2005 11:25:54 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi,
What is the current status of rational numbers in the Standard library (or in some other standardized location)?
---Carlos Simpson
- [Coq-Club] Beginnier question., Serge Leblanc
- Re: [Coq-Club] Beginnier question.,
Pierre Casteran
- Re: [Coq-Club] Beginnier question., Pierre Courtieu
- Re: [Coq-Club] Beginnier question, Pierre Casteran
- Re: [Coq-Club] Beginnier question., Roland Zumkeller
- Re: [Coq-Club] Beginnier question.,
Serge Leblanc
- Re: [Coq-Club] Beginnier question.,
Pierre Casteran
- Re: [Coq-Club] Beginnier question., roconnor
- Re: [Coq-Club] Beginnier question.,
Pierre Casteran
- Re: [Coq-Club] Beginnier question.,
David Pichardie
- [Coq-Club] Rational numbers, Carlos.SIMPSON
- Re: [Coq-Club] Beginnier question.,
Pierre Casteran
Archive powered by MhonArc 2.6.16.