Library Coq.Reals.Reals


The library REALS is divided in 6 parts :
Tactics are:

Require Export Rbase.
Require Export Rfunctions.
Require Export SeqSeries.
Require Export Rtrigo.
Require Export Ranalysis.
Require Export Integration.