Library Float.MSB

Library Float.ClosestMult

Library Float.Option

Library Float.Float

Library Float.ClosestPlus

Library Float.Expansions.ThreeSum2

Library Float.Expansions.Fexp2

Library Float.Expansions.TwoSum

Library Float.Expansions.FexpAdd

Library Float.Expansions.FexpDiv

Library Float.Expansions.FexpPlus

Library Float.Expansions.Fast2Sum

Library Float.Expansions.Fast2Diff

Library Float.Expansions.EFast2Sum

Library Float.Expansions.Fexp

Library Float.Expansions.ThreeSumProps

Library Float.FroundPlus

Library Float.Zdivides

Library Float.sTactic

Library Float.FnElem.FArgReduct4

Library Float.FnElem.FmaErrApprox2

Library Float.FnElem.FmaErr2

Library Float.FnElem.MinOrMax

Library Float.FnElem.DoubleRound

Library Float.FnElem.FArgReduct

Library Float.FnElem.FmaErrApprox

Library Float.FnElem.FArgReduct2

Library Float.FnElem.FmaErr

Library Float.FnElem.FIA64elem

Library Float.FnElem.Axpy

Library Float.FnElem.FArgReduct3

Library Float.RND

Library Float.Fbound

Library Float.ClosestProp

Library Float.Closest2Plus

Library Float.Faux

Library Float.Fnorm

Library Float.FPred

Library Float.MSBProp

Library Float.Finduct

Library Float.FSucc

Library Float.Fprop

Library Float.Zenum

Library Float.Fround

Library Float.Others.Divnk

Library Float.Others.IEEE

Library Float.Others.discriminant

Library Float.Others.discriminant3

Library Float.Others.discriminant2

Library Float.Others.PradixE

Library Float.Others.FmaEmul

Library Float.Others.AlgoPredSucc

Library Float.Others.Veltkamp

Library Float.Others.DblRndOdd

Library Float.Others.Dekker

Library Float.Others.FminOp

Library Float.Others.FroundDivSqrt

Library Float.Paux

Library Float.Closest2Prop

Library Float.Ct2.FboundI

Library Float.Ct2.FnormI

Library Float.Fcomp

Library Float.FroundProp

Library Float.Closest

Library Float.Digit

Library Float.FroundMult

Library Float.AllFloat

Library Float.Fop

Library Float.Rpow

Library Float.Fodd

Library Float.Fmin


This page has been generated by coqdoc