Hacker News new | ask | show | jobs
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com)
2 points by galapago 291 days ago