FloatLib: Verified Floating-Point Arithmetic in Lean

reddit_programming 2026-09-24 원문 보기 ↗