• Home
• About Coq
• Get Coq
• Documentation
• Community

Library Float.Rpow

Library Float.sTactic

Library Float.Zenum

Library Float.Zdivides

Library Float.Power

Library Float.Paux

Library Float.Option

Library Float.MSBProp

Library Float.MSB

Library Float.FroundProp

Library Float.FroundPlus

Library Float.FroundMult

Library Float.Fround

Library Float.Fprop

Library Float.Fop

Library Float.Fodd

Library Float.Fnorm

Library Float.Fmin

Library Float.Float

Library Float.Finduct

Library Float.Fcomp

Library Float.Fbound

Library Float.Faux

Library Float.FSucc

Library Float.FPred

Library Float.Digit

Library Float.ClosestProp

Library Float.ClosestPlus

Library Float.ClosestMult

Library Float.Closest2Prop

Library Float.Closest2Plus

Library Float.Closest

Library Float.AllFloat

• webmaster
• xhtml valid
• CSS valid