FloatLib: Verified Floating-Point Arithmetic in LeanBy matt_d · 2026-09-22 · 1 points · 0 commentshttps://leandojo.org/floatlib.htmlBy matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews