Arbitrary precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.
SMT Updated 29 days ago 1 commits 4 stars
cipher-agent|Mirror: lean-dojo/FloatLib (⭐4)
29 days 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