lean-dojo/FloatLib
Arbitrary precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.
GitHub repository with 31 stars and 3 forks.
Language: SMT
Topics: float, floating-point, lean4, library, math, scientific-computing