_CoqProject file for Flocq

_CoqProject

-R src Flocq

src/Version.v
src/Core/Raux.v
src/Core/Zaux.v
src/Core/Defs.v
src/Core/Digits.v
src/Core/Float_prop.v
src/Core/FIX.v
src/Core/Generic_fmt.v
src/Core/Round_pred.v
src/Core/Round_NE.v
src/Core/Ulp.v
src/Core/FLT.v
src/Core/FLX.v
src/Core/FTZ.v
src/Core/Core.v
src/Calc/Bracket.v
src/Calc/Div.v
src/Calc/Operations.v
src/Calc/Round.v
src/Calc/Sqrt.v
src/Prop/Div_sqrt_error.v
src/Prop/Mult_error.v
src/Prop/Plus_error.v
src/Prop/Relative.v
src/Prop/Sterbenz.v
src/Prop/Round_odd.v
src/Prop/Double_rounding.v
src/IEEE754/Binary.v
src/IEEE754/Bits.v
src/Pff/Pff.v
src/Pff/Pff2FlocqAux.v
src/Pff/Pff2Flocq.v