Algorithms and proofs

Every method is a published one, cited on its help page; none is new, and the package does not claim to be the first implementation of any of them in R. What it adds is a single checked implementation: arguments are checked in R and again in the compiled kernels, quantities that overflow or cancel in the obvious formula are computed in a stable form, and most functions rest on identities or bounds proved in Lean, which proof() names.