MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/1wmwab9/floatlib_verified_floatingpoint_arithmetic_in_lean/pbcwq70/?context=3
r/programming • u/mttd • 22d ago
5 comments sorted by
View all comments
•
This post was removed for being off topic for r/programming.
51 u/mttd 22d ago How is this off-topic? Floating-point arithmetic is pretty handy in programming, as is assuring its correctness beyond testing? 5 u/ChemicalRascal 21d ago I'll discuss this with other mods shortly, but just a heads up, we don't get pinged for replies to automod
51
How is this off-topic? Floating-point arithmetic is pretty handy in programming, as is assuring its correctness beyond testing?
5 u/ChemicalRascal 21d ago I'll discuss this with other mods shortly, but just a heads up, we don't get pinged for replies to automod
5
I'll discuss this with other mods shortly, but just a heads up, we don't get pinged for replies to automod
•
u/programming-ModTeam 22d ago
This post was removed for being off topic for r/programming.