new3시간 전· 1 sources
FloatLib: Verified Floating-Point Arithmetic in Lean
Why it matters
  submitted by   <a href="https://www.reddit.com/user/mttd"> /u/mttd </a> <br /> <span><a href="https://leandojo.org/floatlib.html">[link]</a></span>   <span><a href="https://www.reddit.co...
1
Sources
+1
24h
—
Growth
1d
Active