{"type": "article", "title": "FloatLib: Verified Floating-Point Arithmetic in Lean", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/floatlib-verified-floating-point-arithmetic-in-lean", "original_source": "https://leandojo.org/floatlib.html", "published": "2026-09-22T01:51:56+00:00", "accessed": "2026-09-22", "id": "floatlib-verified-floating-point-arithmetic-in-lean"}