Library Float.MSBProp

Library Float.Fprop

Library Float.Fop

Library Float.sTactic

Library Float.FroundProp

Library Float.Closest2Plus

Library Float.Expansions.Fast2Diff

Library Float.Expansions.FexpAdd

Library Float.Expansions.Fexp2

Library Float.Expansions.FexpPlus

Library Float.Expansions.EFast2Sum

Library Float.Expansions.ThreeSumProps

Library Float.Expansions.Fast2Sum

Library Float.Expansions.FexpDiv

Library Float.Expansions.Fexp

Library Float.Expansions.ThreeSum2

Library Float.Expansions.TwoSum

Library Float.Fnorm

Library Float.ClosestProp

Library Float.Fsucc

Library Float.Rpow

Library Float.Option

Library Float.Paux

Library Float.RND

Library Float.FPred

Library Float.FSucc

Library Float.ClosestPlus

Library Float.MSB

Library Float.Faux

Library Float.Fodd

Library Float.Zenum

Library Float.Digit

Library Float.ClosestMult

Library Float.FnElem.FArgReduct

Library Float.FnElem.MinOrMax

Library Float.FnElem.FmaErrApprox2

Library Float.FnElem.FmaErrApprox

Library Float.FnElem.Axpy

Library Float.FnElem.FArgReduct4

Library Float.FnElem.FArgReduct2

Library Float.FnElem.FIA64elem

Library Float.FnElem.FmaErr

Library Float.FnElem.FmaErr2

Library Float.FnElem.DoubleRound

Library Float.FnElem.FArgReduct3

Library Float.Float

Library Float.FroundPlus

Library Float.FroundMult

Library Float.Others.Veltkamp

Library Float.Others.Divnk

Library Float.Others.discriminant3

Library Float.Others.PradixE

Library Float.Others.FroundDivSqrt

Library Float.Others.FmaEmul

Library Float.Others.FminOp

Library Float.Others.AlgoPredSucc

Library Float.Others.DblRndOdd

Library Float.Others.Dekker

Library Float.Others.discriminant

Library Float.Others.discriminant2

Library Float.Closest2Prop

Library Float.Ct2.FnormI

Library Float.Ct2.FboundI

Library Float.Closest

Library Float.Fround

Library Float.Zdivides

Library Float.AllFloat

Library Float.Fcomp

Library Float.Finduct

Library Float.Fmin

Library Float.Fbound


This page has been generated by coqdoc