TorchLean API

FloatLib.Kernels.FixedWord.LimbRound.Proof

Verified fixed-limb rounding #

Generic shift-with-jam laws support the verified two- and four-limb rounding kernels.