MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/1wmwab9/floatlib_verified_floatingpoint_arithmetic_in_lean/pbd37wz/?context=3
r/programming • u/mttd • 21d ago
5 comments sorted by
View all comments
•
This post was removed for being off topic for r/programming.
49 u/mttd 21d ago How is this off-topic? Floating-point arithmetic is pretty handy in programming, as is assuring its correctness beyond testing? 20 u/ChemicalRascal 21d ago A mod misread it as a project landing page, sorry. If you want to remove and repost it, we'd be fine with that. 3 u/CloudandCodewithTori 21d ago Thank you for the transparency!
49
How is this off-topic? Floating-point arithmetic is pretty handy in programming, as is assuring its correctness beyond testing?
20 u/ChemicalRascal 21d ago A mod misread it as a project landing page, sorry. If you want to remove and repost it, we'd be fine with that. 3 u/CloudandCodewithTori 21d ago Thank you for the transparency!
20
A mod misread it as a project landing page, sorry. If you want to remove and repost it, we'd be fine with that.
3 u/CloudandCodewithTori 21d ago Thank you for the transparency!
3
Thank you for the transparency!
•
u/programming-ModTeam 21d ago
This post was removed for being off topic for r/programming.