coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] A simple question

From: Eric Biagioli <ericbiagioli AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] A simple question
Date: Thu, 12 Mar 2009 12:26:42 -0300
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=CDDCSCWvDZJLpgyv7nQ94TKncb2kOFPiy+i+ZbkuCV9OV3I3FaoVmBRoDGa3xXiCbY 1QWRU/s8XtL/CLtQBIOF1+TfvOGqBSAbjc2nzeRWEfdGF7FiXGm5GW2id6nz0XQ+RU+w llA1LulV+2IOkk3GeHh5F5iP/ifhtjiR+nGBA=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello everyone,

I'm writing to ask a little question. I'm sorry if it's a stupid
question. I need to prove (in Coq) that

0 <= 87500000020642221/100000000000000000+ -1/1000

The "fourier" tactic didn't work (perhaps I'm doing something wrong?),
and I don't know what could I do.

Thankyou in advance,

Eric

[Coq-Club] A simple question, Eric Biagioli
- Re: [Coq-Club] A simple question, St�phane Lescuyer
  - Re: [Coq-Club] A simple question, St�phane Lescuyer
    - Re: [Coq-Club] A simple question, Bruno Barras
      - Re: [Coq-Club] A simple question, Eric Biagioli
        
        Re: [Coq-Club] A simple question, St�phane Lescuyer