FloatLib: Verified Floating-Point Arithmetic in Leanleandojo.org1 point·matt_d··0 commentsOpen articleSaveView on HN