Library Coq.Floats.Floats


The Floats library is split in 6 theories:
For a brief overview of the Floats library, see https://coq.inria.fr/distrib/current/refman/language/coq-library.html#floats-library

Require Export FloatClass.
Require Export PrimFloat.
Require Export SpecFloat.
Require Export FloatOps.
Require Export FloatAxioms.
Require Export FloatLemmas.