Library Float.FroundPlus
Library Float.Paux
Library Float.FnElem.FmaErrApprox2
Library Float.FnElem.DoubleRound
Library Float.FnElem.FmaErrApprox
Library Float.FnElem.FArgReduct3
Library Float.FnElem.MinOrMax
Library Float.FnElem.FmaErr2
Library Float.FnElem.FArgReduct4
Library Float.FnElem.FArgReduct
Library Float.FnElem.FArgReduct2
Library Float.FnElem.Axpy
Library Float.FnElem.FmaErr
Library Float.FnElem.FIA64elem
Library Float.Fsucc
Library Float.FPred
Library Float.Others.AlgoPredSucc
Library Float.Others.DblRndOdd
Library Float.Others.Divnk
Library Float.Others.FminOp
Library Float.Others.FmaEmul
Library Float.Others.Dekker
Library Float.Others.Veltkamp
Library Float.Others.discriminant2
Library Float.Others.discriminant
Library Float.Others.discriminant3
Library Float.Others.FroundDivSqrt
Library Float.Others.PradixE
Library Float.Closest2Plus
Library Float.Ct2.FnormI
Library Float.Ct2.FboundI
Library Float.Expansions.ThreeSum2
Library Float.Expansions.FexpAdd
Library Float.Expansions.FexpPlus
Library Float.Expansions.Fexp2
Library Float.Expansions.Fast2Sum
Library Float.Expansions.Fast2Diff
Library Float.Expansions.Fexp
Library Float.Expansions.ThreeSumProps
Library Float.Expansions.EFast2Sum
Library Float.Expansions.FexpDiv
Library Float.Expansions.TwoSum
Library Float.ClosestPlus
Library Float.Fop
Library Float.Fnorm
Library Float.Fcomp
Library Float.Fround
Library Float.Float
Library Float.Faux
Library Float.Rpow
Library Float.FSucc
Library Float.ClosestProp
Library Float.MSBProp
Library Float.Closest
Library Float.AllFloat
Library Float.RND
Library Float.Zdivides
Library Float.FroundProp
Library Float.ClosestMult
Library Float.Finduct
Library Float.Digit
Library Float.Fmin
Library Float.FroundMult
Library Float.Fprop
Library Float.Fbound
Library Float.Closest2Prop
Library Float.Option
Library Float.MSB
Library Float.Zenum
Library Float.sTactic
Library Float.Fodd
This page has been generated by coqdoc