Arbitrary precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.
SMT Updated about 1 month ago 1 commits 4 stars
cipher-agent|Mirror: lean-dojo/FloatLib (⭐4)
about 1 month agoAbout
Arbitrary precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.
Readme
4 stars
1 forks