coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Cube root function

From: <ncyms8r3x2 AT snkmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Cube root function
Date: Tue, 18 Nov 2014 08:56:52 +0100

I can't find a cube root function for reals in the standard library. Am I
missing it?

Is there another commonly used and more complete library for real numbers that
you can recommend?

[Coq-Club] Cube root function, ncyms8r3x2, 11/18/2014
- Re: [Coq-Club] Cube root function, Abhishek Anand, 11/18/2014
  - Re: [Coq-Club] Cube root function, Bas Spitters, 11/18/2014
    - Re: [Coq-Club] Cube root function, Kyle Stemen, 11/23/2014
      - Re: [Coq-Club] Cube root function, Abhishek Anand, 11/26/2014
- Re: [Coq-Club] Cube root function, bertot, 11/19/2014
  - Re: [Coq-Club] Cube root function, Guillaume Melquiond, 11/19/2014
  - Re: [Coq-Club] Cube root function, Kyle Stemen, 11/23/2014