Notes:
This release adds arcsine function, corrects a few bugs, and provide more machine-assisted proofs.
crlibm now offers 11 functions: log, log2, log10, exp, sin, cos, tan, sinh, cosh, asin, atan.
This release is beta because some proofs are missing or incomplete, and it has not been tested on a wide range of systems.
Feedback welcome...
Changes:
|
