Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean
(github.com/rutgers-apl)
1 point
matt_d
4 months ago
discuss