FloatLib: Verified Floating-Point Arithmetic in Lean

1 pointsposted 10 hours ago
by matt_d
(leandojo.org)

No comments yet