fp.
newest
Open in hackernews
Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification
https://github.com/nahhididwin/L-Representation/blob/main/hn/rm1.md
2
•
InputNothing
•
1h ago