FilesExpand file tree

main

/

ProofKit

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

main

/

ProofKit

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Allocation.lean		Allocation.lean
Array.lean		Array.lean
ArrayPrefix.lean		ArrayPrefix.lean
AsinRemainder.lean		AsinRemainder.lean
Bessel.lean		Bessel.lean
BesselAsym.lean		BesselAsym.lean
BesselChain.lean		BesselChain.lean
BesselConstants.lean		BesselConstants.lean
BesselEnergy.lean		BesselEnergy.lean
BesselFd0a.lean		BesselFd0a.lean
BesselFd0b.lean		BesselFd0b.lean
BesselFd1a.lean		BesselFd1a.lean
BesselFd1b.lean		BesselFd1b.lean
BesselLarge0.lean		BesselLarge0.lean
BesselLarge1.lean		BesselLarge1.lean
BesselModulus.lean		BesselModulus.lean
BesselPQ.lean		BesselPQ.lean
BesselRatio.lean		BesselRatio.lean
BesselSeg0.lean		BesselSeg0.lean
BesselSeg1.lean		BesselSeg1.lean
BesselStart.lean		BesselStart.lean
BorrowedKept.lean		BorrowedKept.lean
CallRemainder.lean		CallRemainder.lean
EntireSeries.lean		EntireSeries.lean
EulerGamma.lean		EulerGamma.lean
ExpTinyError.lean		ExpTinyError.lean
F32Add.lean		F32Add.lean
F32AddFinite.lean		F32AddFinite.lean
F32Bits.lean		F32Bits.lean
F32Compare.lean		F32Compare.lean
F32Convert.lean		F32Convert.lean
F32Decoded.lean		F32Decoded.lean
F32Div.lean		F32Div.lean
F32DivCore.lean		F32DivCore.lean
F32Encoding.lean		F32Encoding.lean
F32Mul.lean		F32Mul.lean
F32MulFinite.lean		F32MulFinite.lean
F32Nearest.lean		F32Nearest.lean
F32Normalize.lean		F32Normalize.lean
F32Packing.lean		F32Packing.lean
F32RationalNormalize.lean		F32RationalNormalize.lean
F32RationalScale.lean		F32RationalScale.lean
F32RoundDyadic.lean		F32RoundDyadic.lean
F32RoundFinish.lean		F32RoundFinish.lean
F32RoundRational.lean		F32RoundRational.lean
F32RoundScaled.lean		F32RoundScaled.lean
F32Sign.lean		F32Sign.lean
F32Source.lean		F32Source.lean
F32Sqrt.lean		F32Sqrt.lean
F32SqrtCore.lean		F32SqrtCore.lean
F32SqrtFinite.lean		F32SqrtFinite.lean
F32Sub.lean		F32Sub.lean
F32TruncSat.lean		F32TruncSat.lean
F64Absolute.lean		F64Absolute.lean
F64Add.lean		F64Add.lean
F64AddBounds.lean		F64AddBounds.lean
F64AddEnclosure.lean		F64AddEnclosure.lean
F64AddFinite.lean		F64AddFinite.lean
F64AddNearest.lean		F64AddNearest.lean
F64Adjacent.lean		F64Adjacent.lean
F64AdjacentSigned.lean		F64AdjacentSigned.lean
F64Admissibility.lean		F64Admissibility.lean
F64AffineUpdate.lean		F64AffineUpdate.lean
F64Approx.lean		F64Approx.lean
F64ApproxStages.lean		F64ApproxStages.lean
F64ArithmeticBounds.lean		F64ArithmeticBounds.lean
F64BinadeWord.lean		F64BinadeWord.lean
F64Bits.lean		F64Bits.lean
F64Bounds.lean		F64Bounds.lean
F64Compare.lean		F64Compare.lean
F64Compose.lean		F64Compose.lean
F64ConservativeReference.lean		F64ConservativeReference.lean
F64ConservativeUpdate.lean		F64ConservativeUpdate.lean
F64Convert.lean		F64Convert.lean
F64Decoded.lean		F64Decoded.lean
F64Div.lean		F64Div.lean
F64DivApprox.lean		F64DivApprox.lean
F64DivBounds.lean		F64DivBounds.lean
F64DivCore.lean		F64DivCore.lean
F64DivEnclosure.lean		F64DivEnclosure.lean
F64DyadicBounds.lean		F64DyadicBounds.lean
F64Enclosure.lean		F64Enclosure.lean
F64Encoding.lean		F64Encoding.lean
F64ErrorPropagation.lean		F64ErrorPropagation.lean
F64ErrorTrack.lean		F64ErrorTrack.lean
F64Exact.lean		F64Exact.lean
F64ExactProduct.lean		F64ExactProduct.lean
F64ExponentBounds.lean		F64ExponentBounds.lean
F64FullStep.lean		F64FullStep.lean
F64Grid.lean		F64Grid.lean
F64GridExact.lean		F64GridExact.lean
F64HalfUlp.lean		F64HalfUlp.lean
F64Halving.lean		F64Halving.lean
F64HighWord.lean		F64HighWord.lean
F64Horner.lean		F64Horner.lean
F64InternalEnergy.lean		F64InternalEnergy.lean
F64Magnitude.lean		F64Magnitude.lean
F64MagnitudeEnclosure.lean		F64MagnitudeEnclosure.lean
F64MagnitudeGaps.lean		F64MagnitudeGaps.lean
F64Mul.lean		F64Mul.lean
View all files