01:51
2026-09-22
leandojo.org
machine-learning
FloatLib: Verified Floating-Point Arithmetic in Lean
FloatLib, a verified arbitrary-precision floating-point arithmetic library written in Lean, has been released with support for IEEE binary and decimal formats, arbitrary-width posits, P3109, small ML …