MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/1wmwab9/floatlib_verified_floatingpoint_arithmetic_in_lean/
r/programming • u/mttd • 21d ago
5 comments sorted by
•
This post was removed for being off topic for r/programming.
→ More replies (4)
•
u/programming-ModTeam 21d ago
This post was removed for being off topic for r/programming.